1
- Larsen, Kim G. - -
53.49 €
Larsen, Kim G. - Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (lecture Notes In Computer Science, Band 575)
MEDIMOPS
Brand: Larsen, Kim G. -
EAN:
9783540551799MPN: m03540551794
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 1992, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 504, publicationDate : 2008-06-13, authors : Larsen, Kim G., Arne Skou, ISBN : 3540551794
Preise vergleichen ab:
Larsen, Kim G. - in Bücher & Zeitschriften