Scan gewoon een ISBN om het direct aan je bibliotheek toe te voegen. Nu beschikbaar op iOS en Android.
Formal Methods for Hardware Verification: 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems SFM 2006