Toggle Nav
Menu

Formal Methods: Foundations and Applications

16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
243 Seiten, Taschenbuch
€ 50.6
-
+
Lieferbar in 6 Werktagen

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Abbrechen Weiter einkaufen
Mehr Informationen
Reihe Lecture Notes in Computer Science
ISBN 9783642410703
Sprache Englisch
Erscheinungsdatum 13.09.2013
Genre Informatik, EDV/Allgemeines, Lexika
Verlag Springer Berlin
Herausgegeben von Juliano Iyoda, Leonardo de Moura
LieferzeitLieferbar in 6 Werktagen
HerstellerangabenAnzeigen
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Mehr Informationen
Reihe Lecture Notes in Computer Science
ISBN 9783642410703
Sprache Englisch
Erscheinungsdatum 13.09.2013
Genre Informatik, EDV/Allgemeines, Lexika
Verlag Springer Berlin
Herausgegeben von Juliano Iyoda, Leonardo de Moura
LieferzeitLieferbar in 6 Werktagen
HerstellerangabenAnzeigen
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Diese Produkte könnten Sie auch interessieren:
Die Wiener Seele - GrußkartensetDie Wiener Seele - Grußkartenset
Falter-Schürze WürstelFalter-Schürze Würstel
Das Problembär-ShirtDas Problembär-Shirt