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

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China,

64.96 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10452221

Beschreibung

Alan Turing: Founder of Computer Science.- UTP by Example: Designs.- Reasoned Modelling with Event-B.- Java in the Safety-Critical Domain.- Runtime Verification for Linear-Time Temporal Logic.- Formal Reasoning on Infinite Data Values: An Ongoing Quest.

Eigenschaften

Breite:	156
Gewicht:	427 g
Höhe:	235
Länge:	17
Seiten:	259
Sprachen:	Englisch
Autor:	Jonathan P. Bowen, Zhiming Liu, Zili Zhang

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