Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek FM 2012: Formal Methods Dimitra Giannakopoulou
Libristo-code: 01661952
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juli 2012
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico / E-book Adobe ePub DRM
common.buy 6.56 €
Dárek z pouti Luboš Kafka / Boek Gebonden (harde band)
common.buy 22.85 €
Postdata E.M.A / Boek Gebonden (paperback)
common.buy 16.07 €
Le Macon Demasque: Ou Le Vrai Secret Des Francs Masons (1751) Thomas Wilson / Boek Gebonden (paperback)
common.buy 22.14 €
Kapitan Żbik Porwanie Część 4 Praca zbiorowa / Boek Gebonden (paperback)
common.buy 3.02 €
Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova / Boek Gebonden (paperback)
common.buy 55.12 €
Furstenfeldbruck-Literarisch Angelika Mundorff / Boek Gebonden (paperback)
common.buy 13.54 €
Das große Limpert-Buch der Zirkuskünste Stefan Eberherr / Boek Gebonden (harde band)
common.buy 35.70 €
Mass Customization - Die Auswirkung des Individualisierungsgrades auf die Zahlungsbereitschaft Thomas Funke / Boek Gebonden (paperback)
common.buy 42.78 €
Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan / Boek Gebonden (paperback)
common.buy 42.78 €

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam FM 2012: Formal Methods
Auteur Dimitra Giannakopoulou, Dominique Mery
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 488
EAN 9783642327582
ISBN 3642327583
Libristo-code 01661952
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 765
Afmetingen 155 x 235 x 28

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Informatie-architectuur
Informatica en informatietechnologie > Computer hardware > Computer hardware: Onderhoud en reparatie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Th Thorium Robert G. Behrens / Boek Gebonden (paperback)
common.buy 622.61 €
Works of William H. Seward William Henry Seward / Boek Gebonden (paperback)
common.buy 36.61 €
Research Handbook on Political Representation Maurizio Cotta / Boek Gebonden (harde band)
common.buy 287.28 €
Wordt verwacht
Arduino Inventor's Guide Derek Runberg / Boek Gebonden (paperback)
common.buy 30.64 €
Race for Citizenship Helen Jun / Boek Gebonden (paperback)
common.buy 38.43 €
Dancing With Danger Byrne Kerrigan Byrne / Boek Gebonden (paperback)
common.buy 11.72 €
TOP
Focus Daniel Goleman / Boek Gebonden (paperback)
common.buy 7.17 €
Whistleblowing at Work David Lewis / Boek Gebonden (paperback)
common.buy 113.79 €
Methods of Cancer Diagnosis, Therapy, and Prognosis M. A. Hayat / Boek Gebonden (paperback)
common.buy 308.42 €
Summer Session Number; 1910-13 University of Connecticut / Boek Gebonden (paperback)
common.buy 16.48 €
Life Behind Bars Gordon Culpin / Boek Gebonden (paperback)
common.buy 18.40 €
European Rural Landscapes H. Palang / Boek Gebonden (harde band)
common.buy 205.74 €
New Inside Out Advanced Teachers DVD Book Sue Kay / Boek Gebonden (paperback)
common.buy 12.84 €
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Boek Gebonden (harde band)
common.buy 70.09 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?