[email protected]
Wir antworten innerhalb von 24 Stunden
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.99 €
DPD-Kurier 6.49 €
GLS-Kurier 4.49 €
Kaufberater
Wir sind für Sie da!
[email protected]
Mein Konto
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
▸
Leer :-(
0
Formal Methods: Foundations and Applications
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp...
Vollständige Beschreibung
Libristo-Code: 01659166
?
204 b
204 b
81.21
€
inkl. MwSt.
Externes Lager in kleiner Menge
Wir versenden in 13-16 Tagen
30 Tage für die Rückgabe der Ware
Das könnte Sie auch interessieren
/
Blatt
10.59
€
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 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.
Informationen zum Buch
Vollständiger Name
Formal Methods: Foundations and Applications
Autor
Adenilso Simao, Carroll Morgan
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2011
Anzahl der Seiten
205
EAN
9783642250316
ISBN
3642250319
Libristo-Code
01659166
Gewicht
338
Abmessungen
155 x 235 x 15
Kategorie
EDV und Informationstechnologie
>
Informatik
>
Mensch-Computer-Interaktion
>
Informationsarchitektur
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Compiler und Übersetzer
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Programmier- und Skriptsprachen, allgemein
