Bültmann & Gerriets
Bücher
Stöbern
Kalender
unsere Tipps
Bestseller
Neuheiten
im Feuilleton
Themenwelten
Englische Titel
Französische Titel
Italienische Titel
Spanische Titel
aus unserer Werbung
Prämien
signierte Bücher
Gutscheine
Stöbern
Kalender
E-Books
Stöbern
% E-Book Deals %
technische Tipps
Signierte Bücher
Jura-Studium
Service
Abholung
dtv-Beck
Fachbücher
Fahrradkurier
Familienstarter
Geschäftskunden
Geschenke
Gutscheine
Kulturpass
Literatur-Abo
Literaturkarte
Schulbücher
signierte Bücher
Versand
Verträge hier kündigen
Wunschzettel
über uns
Bültmann & Gerriets
Ausbildung & Praktikum
Karriere
Engagement
Sponsoring
Umwelt
Kontakt
Apfelbaumpaten
Ayla Dade liest aus «Like Hearts We Heal»
18.11.2025 um 19:30 Uhr
Engineering Trustworthy Software Systems
Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
von Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Verlag: Springer International Publishing
Reihe: Lecture Notes in Computer Science Nr. 11174
Reihe: Programming and Software Engineering
E-Book / PDF
Kopierschutz: PDF mit Wasserzeichen


Speicherplatz: 10 MB
Hinweis: Nach dem Checkout (Kasse) wird direkt ein Link zum Download bereitgestellt. Der Link kann dann auf PC, Smartphone oder E-Book-Reader ausgeführt werden.
E-Books können per PayPal bezahlt werden. Wenn Sie E-Books per Rechnung bezahlen möchten, kontaktieren Sie uns bitte.

ISBN: 978-3-030-02928-9
Erschienen am 12.11.2018
Sprache: Englisch
Umfang: 219 Seiten

Preis: 53,49 €

53,49 €
merken
zum Hardcover 53,49 €
Inhaltsverzeichnis

A Guide to Rely/Guarantee Thinking.- An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping.- Formalizing Hoare Logic in PVS.- Modeling Concurrency in Dafny.- Software Is Not Soft: Challenges and Approaches to Dynamic Software Update.- Challenges for Formal Semantic Description: Responses from the Main Approaches.


andere Formate
weitere Titel der Reihe