044 209 91 25 079 869 90 44
Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
BuchKartoniert, Paperback
Verkaufsrang52106inInformatik EDV
CHF72.90

Beschreibung

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.
The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
Weitere Beschreibungen

Details

ISBN/GTIN978-3-319-49814-0
ProduktartBuch
EinbandKartoniert, Paperback
ErscheinungslandDeutschland
Erscheinungsdatum13.11.2016
Auflage1st ed. 2016
ReiheProgramming and Software Engineering
Reihen-Nr.10090
Seiten264 Seiten
SpracheEnglisch
MasseBreite 155 mm, Höhe 235 mm, Dicke 15 mm
Gewicht406 g
Artikel-Nr.20795867
Verlagsartikel-Nr.978-3-319-49814-0
KatalogBuchzentrum
Datenquelle-Nr.21703670
WarengruppeInformatik EDV
Weitere Details

Reihe

Über den/die AutorIn