1
- Clarke, Edmund M. - -
53.49 €
Clarke, Edmund M. - Computer-aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings (lecture Notes In Computer Science, 531, Band 531)
MEDIMOPS
Brand: Clarke, Edmund M. -
EAN:
9783540544777MPN: m03540544771
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 1991, Label : Springer, Publisher : Springer, NumberOfItems : 1, Format : Illustriert, medium : Taschenbuch, numberOfPages : 392, publicationDate : 2008-06-13, authors : Clarke, Edmund M., Kurshan, Robert P., ISBN : 3540544771
Preise vergleichen ab:
Clarke, Edmund M. - in Bücher & Zeitschriften 2
- Clarke, Edmund M. - -
53.49 €
Clarke, Edmund M. - Logic For Programming, Artificial Intelligence, And Reasoning: 16th International Conference, Lpar-16, Dakar, Senegal, April 25--may 1, 2010, Revised ... Papers (lecture Notes In Computer Science)
MEDIMOPS
Brand: Clarke, Edmund M. -
EAN:
9783642175107MPN: m03642175104
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 2011, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 517, publicationDate : 2011-01-04, publishers : Clarke, Edmund M., Andrei Voronkov, languages : english, ISBN : 3642175104
Preise vergleichen ab:
Clarke, Edmund M. - in Bücher & Zeitschriften