Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

FM 2012: Formal Methods

Name: FM 2012: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661952
Price: 51.75 EUR
Availability: InStock
Author: Dimitra Giannakopoulou
ISBN: 9783642327582

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

Dimitra Giannakopoulou

Dominique Mery

Taal

Engels

Boek Gebonden (paperback)

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

Libristo-code: 01661952

125 b

51.75 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Dárek z pouti Luboš Kafka

Gebonden (harde band)

25.11 €

Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan

Gebonden (paperback)

42.83 €

Das große Limpert-Buch der Zirkuskünste Stefan Eberherr

Gebonden (harde band)

35.74 €

Furstenfeldbruck-Literarisch Angelika Mundorff

Gebonden (paperback)

13.56 €

Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova

Gebonden (paperback)

55.19 €

Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico

Adobe ePub DRM

6.57 €

Postdata E.M.A

Gebonden (paperback)

16.09 €

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

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