tom maibaum
FM 2008: Formal Methods
EbookSofort lieferbarThis book presents the refereed proceedings of the 15th International Symposium on Formal Methods...
On the Construction of Engineering Handbooks
EbookSofort lieferbarThis book focuses on the clarification of what actually a handbook is, the systematic identificat...
Fundamental Approaches to Software Engineering
EbookSofort lieferbarETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. E...
Formal Methods at the Crossroads. From Panacea to Foundational Support
EbookSofort lieferbarThis volume is devoted to the 10th Anniversary Colloquium of UNU IIST, the International Institut...
Langoliers - Verschollen im Zeitloch
DVDBezug 3-5Auf einem Nachtflug von Los Angeles nach Boston fallen zehn Passagiere kurz nach dem Start in Tie...
Fundamental Approaches to Software Engineering
TaschenbuchBezug 11-15ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. E...
FM 2008: Formal Methods
TaschenbuchBezug 11-15This book presents the refereed proceedings of the 15th International Symposium on Formal Methods...
Formal Methods at the Crossroads. From Panacea to Foundational Support
TaschenbuchBezug 11-15This volume records the 10th Anniversary Colloquium of UNU IIST, the Int- nationalInstituteforSof...
On the Construction of Engineering Handbooks
TaschenbuchBezug 11-15This book focuses on the clarification of what actually a handbook is, the systematic identifi...
- 1