Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toron

54.95 CHF

Versandkostenfrei

Versandkostenfreie Lieferung!

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10450045

Beschreibung

Education.- requirements modeling.- specification languages.- specification/verification.- formal calculi.- software design methods.- automatic code generation.- refinement methodologies.- compositional analysis.- verification tools.- Tool integration.- Benchmarks.- Challenge problems.- Integrated verification environments.

Eigenschaften

Breite:	155
Gewicht:	336 g
Höhe:	12
Länge:	236
Seiten:	199
Sprachen:	Englisch
Autor:	Marsha Chechik, Sandrine Blazy

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller