Formal Methods Applications and Technology

Av
Boudewijn R. Haverkort, Lubos Brim, Martin Leucker, J. van den Pol
Forlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN
9783540709510
Utgitt
2007, Myk perm

Ikke riktig utgave? Prøv å søke etter flere utgaver.

Kjøp ny

Kjøp brukt på iBok

Bokvarsling

Opprett bokvarsling

Dersom du trykker på 'Opprett bokvarsling' vil du automatisk bli varslet når noen legger ut denne boken for salg.