booktheque

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen · 1998

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
1998
שפה
English
הוצאה
Springer
מהדורות
1
עמודים
457
ISBN
9783540643562

מקור הנתונים: Wikidata

עוד של Bernhard Steffen

Correct system design
Bernhard Steffen · 1999
Bridging the Gap Between AI and Reality
Bernhard Steffen · 2024
Computing and Software Science
Bernhard Steffen · 2019
Mathematical Foundations of Advanced Informatics : Volume 1
Bernhard Steffen · 2018
SOFSEM 2017 : Theory and Practice of Computer Science
Bernhard Steffen · 2017
Transactions on Foundations for Mastering Change I
Bernhard Steffen · 2016
Verification, Model Checking, and Abstract Interpretation
Bernhard Steffen · 2003
Grundlagen Der Hheren Informatik Induktives Vorgehen
Bernhard Steffen · 1900
Karten Von Mykenai
Bernhard Steffen · 2018
Grundlagen der Höheren Informatik
Bernhard Steffen · 2013