1
- Woodcock, James C.p. - -
105.84 €
Woodcock, James C.p. - Fme '93: Industrial-strength Formal Methods: First International Symposium Of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (lecture Notes In Computer Science, 670, Band 670)
MEDIMOPS
Brand: Woodcock, James C.p. -
EAN:
9783540566625MPN: m03540566627
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 1993, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 708, publicationDate : 2008-06-13, authors : Woodcock, James C.P., Larsen, Peter G., ISBN : 3540566627
Preise vergleichen ab:
Woodcock, James C.p. - in Bücher & Zeitschriften 2
- Bird, Richard S. - -
53.49 €
Bird, Richard S. - Mathematics Of Program Construction: Second International Conference, Oxford, U.k., June 29 - July 3, 1992. Proceedings (lecture Notes In Computer Science, 669, Band 669)
MEDIMOPS
Brand: Bird, Richard S. -
EAN:
9783540566250MPN: m03540566252
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 1993, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 392, publicationDate : 2008-06-13, authors : Bird, Richard S., Woodcock, James C.P., C.Carroll Morgan, ISBN : 3540566252
Preise vergleichen ab:
Bird, Richard S. - in Bücher & Zeitschriften