Jacques Julliand – författare

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

2 produkter

Kategorier

2 produkter

Jacques Julliand, Olga Kouchnarenko - B 2007: Formal Specification and Development in B, Häftad

B 2007: Formal Specification and Development in B

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

AvJacques Julliand,Olga Kouchnarenko

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Achim Brucker, Jacques Julliand - Tests and Proofs, Häftad

Tests and Proofs

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

AvAchim Brucker,Jacques Julliand

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar