MayDay Sale → Spar opptil 60 %
Alle 2 B. Berard utgivelser på Pocketbok og Innbunden bok
Kategorier
Annen
Kundeservice
NOK
![Cover for B. Berard · Systems and Software Verification: Model-Checking Techniques and Tools (Pocketbok) [Softcover reprint of hardcover 1st ed. 2001 edition] (2010)](https://imusic.b-cdn.net/images/item/original/783/9783642074783.jpg?b-berard-2010-systems-and-software-verification-model-checking-techniques-and-tools-pocketbok&class=scaled&v=1623584282)
![Cover for B. Berard · Systems and Software Verification: Model-Checking Techniques and Tools (Innbunden bok) [2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/237/9783540415237.jpg?b-berard-2001-systems-and-software-verification-model-checking-techniques-and-tools-innbunden-bok&class=scaled&v=1608970911)