Jacques Julliand - Böcker

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

2 produkter

Kategorier

2 produkter

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, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Tests and Proofs

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

Av Achim Brucker, Jacques Julliand

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar