Jacques Julliand – författare

Visar alla böcker från författaren Jacques Julliand.

2 produkter

1. 

   B 2007: Formal Specification and Development in B

   7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

   Av Jacques Julliand, Olga Kouchnarenko

   Häftad, 2006

   729 kr

   Lägg i varukorg

2. 

   Tests and Proofs

   6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings

   Av Achim Brucker, Jacques Julliand

   Häftad, 2012

   729 kr

   Lägg i varukorg