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

AvJacques Julliand,Olga Kouchnarenko

Häftad, Engelska, 2006

719 kr

Skickas inom 10-15 vardagar

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

709 kr

Skickas inom 10-15 vardagar