john derrick
Abstract State Machines, Alloy, B,VDM, and Z
TaschenbuchSofort lieferbarThis book constitutes the proceedings of the Third International Conference on Abstract State Mac...
Refinement in Z and Object-Z
DigitalSofort lieferbarRefinement is one of the cornerstones of the formal approach to software engineering, and its ...
Total verrückt! Dinosaurier
BuchSofort lieferbarWas Dinosaurier alles konnten!Willkommen in der verrückten Urzeit! Dieses Buch liefert die vo...
Formal Techniques for Networked and Distributed Systems - FORTE 2007
TaschenbuchPrint on DemandThese proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Net...
Refinement in Z and Object-Z
TaschenbuchPrint on DemandRefinement is one of the cornerstones of the formal approach to software engineering, and its use...
Integrated Formal Methods
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 9th International Conference on Integrated ...
Refinement in Z and Object-Z
BuchPrint on DemandRefinement is one of the cornerstones of the formal approach to software engineering, and its use...
The Miscellaneous Works of John Dryden, Esq.
TaschenbuchPrint on DemandThe Miscellaneous Works of John Dryden, Esq. - Containing all his original poems, tales, and tran...
Miscellaneous Works of John Dryden
TaschenbuchPrint on DemandMiscellaneous Works of John Dryden - Containing all his original poems, tales, and translations, ...
Miscellaneous Works of John Dryden
TaschenbuchPrint on DemandMiscellaneous Works of John Dryden - Vol. 2 is an unchanged, high-quality reprint of the original...
Miscellaneous Works of John Dryden
TaschenbuchPrint on DemandMiscellaneous Works of John Dryden - Vol. 1 is an unchanged, high-quality reprint of the original...
Miscellaneous Works of John Dryden
TaschenbuchPrint on DemandThis volume of John Dryden's miscellaneous works offers a captivating glimpse into his diverse li...
- 1
- 2