Julliand, Jacques books & textbook
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science, 7305)
Brucker, Achim Julliand, Jacques
Springer /2012-05-16 Paperback / 187 Pages
isbn-10: 3642304729 / isbn-13: 9783642304729
[(B 2007 Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings )] [Author: Jacques Julliand] [Feb-2007]
Springer-Verlag Berlin and Heidelberg GmbH & Co. K / Unknown Binding
Cours et exercices corrigés d'algorithmique: Vérifier, tester et concevoir des programmes en les modélisant
DE BOECK SUP /2010-02-23 Pocket Book / 272 Pages
isbn-10: 2311000209 / isbn-13: 9782311000207
