Finde Tipps, Bewertungen und Funktionen zu Sandrine Blazy Interactive Theorem Proving, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Sandrine Blazy - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2013, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 498, publicationDate : 2013-07-19, publishers : Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, languages : english, ISBN : 364239633X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642396335
Finde Tipps, Bewertungen und Funktionen zu Blanchette Jasmin Christian Interactive, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Blanchette, Jasmin Christian - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 520, publicationDate : 2016-08-07, releaseDate : 2016-08-07, publishers : Blanchette, Jasmin Christian, languages : english, ISBN : 3319431439
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319431437
Entdecke Informationen, Ratschläge und Preise für Yves Bertot Interactive Theorem Proving, das für 84.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Yves Bertot - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2004, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, medium : Taschenbuch, numberOfPages : 500, publicationDate : 2010-02-19, authors : Yves Bertot, ISBN : 3642058809
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642058806
Entdecke Informationen, Ratschläge und Preise für Gerwin Klein Interactive Theorem Proving, zum Preis von 52.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Gerwin Klein - hergestellt.
Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 580, publicationDate : 2014-08-01, releaseDate : 2014-08-01, publishers : Gerwin Klein, languages : english, ISBN : 3319089692
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319089690
Entdecke Informationen, Ratschläge und Preise für Jeremy Avigad Interactive Theorem Proving, das für 96.01 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Jeremy Avigad - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 642, publicationDate : 2018-07-04, publishers : Jeremy Avigad, Assia Mahboubi, ISBN : 3319948202
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319948201
Finde Tipps, Bewertungen und Funktionen zu Mauricio Ayala Rinc n Interactive, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Mauricio Ayala-Rincón - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 552, publicationDate : 2017-08-21, releaseDate : 2017-08-21, publishers : Mauricio Ayala-Rincón, languages : english, ISBN : 331966106X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319661063
Entdecke Informationen, Ratschläge und Preise für Yves Bertot Interactive Theorem Proving, das für 116.64 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Yves Bertot - hergestellt.
Binding : Gebundene Ausgabe, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Gebundene Ausgabe, numberOfPages : 472, publicationDate : 2004-05-14, authors : Yves Bertot, Pierre Castéran, languages : english, ISBN : 3540208542
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540208549
Entdecke Informationen, Ratschläge und Preise für Christian Urban Interactive Theorem Proving, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Christian Urban - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2015, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 484, publicationDate : 2015-08-27, releaseDate : 2015-08-27, publishers : Christian Urban, Xingyuan Zhang, languages : english, ISBN : 3319221019
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319221014
Finde Tipps, Bewertungen und Funktionen zu Sandrine Blazy Verified Software Theories, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Sandrine Blazy - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 216, publicationDate : 2016-11-08, releaseDate : 2016-11-08, publishers : Sandrine Blazy, languages : english, ISBN : 3319488686
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319488684
Finde Tipps, Bewertungen und Funktionen zu Sandrine Blazy S mantiques formelles, das für 48.31 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Sandrine Blazy - und wird von MEDIMOPS verkauft.
Brand : Omniscriptum, Binding : Taschenbuch, Label : Editions universitaires europeennes, Publisher : Editions universitaires europeennes, medium : Taschenbuch, numberOfPages : 132, publicationDate : 2010-09-15, authors : Sandrine Blazy, ISBN : 6131529957
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9786131529955
Entdecke Informationen, Ratschläge und Preise für Carre o Victor A Theorem, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Carreño, Victor A. - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2009-02-22, publishers : Carreño, Victor A., ISBN : 3540440399
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540440390
Entdecke Informationen, Ratschläge und Preise für Melvin Fitting First Order Logic, das für 90.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Melvin Fitting - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2nd ed. 1996. Softcover reprint of the original 2nd ed. 1996, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 348, publicationDate : 2013-06-26, releaseDate : 2013-06-26, authors : Melvin Fitting, ISBN : 1461275156
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781461275152
Finde Tipps, Bewertungen und Funktionen zu Jim Grundy Theorem Proving in, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Jim Grundy - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1998, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 514, publicationDate : 2008-06-13, authors : Jim Grundy, Malcolm Newey, ISBN : 3540649875
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540649878
Erhalte Tipps, Meinungen und Funktionen zu Boulton Richard J Theorem Proving, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Boulton, Richard J. - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2001, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 410, publicationDate : 2008-06-13, authors : Boulton, Richard J., Jackson, Paul B., ISBN : 354042525X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540425250
Erhalte Tipps, Meinungen und Funktionen zu Wen Ts Xfcn Wu Mechanical, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Wen-Ts\Xfcn Wu - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1994, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 308, publicationDate : 1994-04-14, releaseDate : 1994-04-14, authors : Wen-Ts\Xfcn Wu, ISBN : 3211825061
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783211825068
Entdecke Informationen, Ratschläge und Preise für Dominique Snyers From Logic Design, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Dominique Snyers - hergestellt.
Binding : Taschenbuch, Edition : 1987, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 134, publicationDate : 2008-06-13, authors : Dominique Snyers, André Thayse, languages : english, ISBN : 3540182179
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540182177
Entdecke Informationen, Ratschläge und Preise für Shang Ching Chou Mechanical Geometry, zum Preis von 106.24 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Shang-Ching Chou - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1988, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2001-11-30, releaseDate : 2001-11-30, authors : Shang-Ching Chou, ISBN : 1402003307
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781402003301
Entdecke Informationen, Ratschläge und Preise für Stefan Berghofer Theorem Proving in, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Stefan Berghofer - hergestellt.
Binding : Taschenbuch, Edition : 2009, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 532, publicationDate : 2009-08-04, releaseDate : 2009-08-04, publishers : Stefan Berghofer, languages : english, ISBN : 364203358X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642033582
Entdecke Informationen, Ratschläge und Preise für Schumann Johann M Automated Theorem, zum Preis von 52.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Schumann, Johann M. - hergestellt.
Binding : Taschenbuch, medium : Taschenbuch, publicationDate : 2010-01-01, authors : Schumann, Johann M., ISBN : 3642087590
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642087592
Entdecke Informationen, Ratschläge und Preise für Schubert E Thomas Higher Order, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Schubert, E. Thomas - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1995, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 416, publicationDate : 2009-02-22, publishers : Schubert, E. Thomas, ISBN : 3540602755
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540602750