2 Ebooks von Jacques Julliand
Jacques Julliand & Olga Kouchnarenko: B 2007: Formal Specification and Development in B
Theseproceedingsrecordthepaperspresentedatthe Seventh International C- ference of B Users (B 2007), held in the city of Besan con in the east of France. This conference was built on the success of th …
PDF
Englisch
DRM
€57.90
Achim Brucker & Jacques Julliand: Tests and Proofs
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated …
PDF
Englisch
DRM
€57.83
