Verifikation
– Buch gebraucht, antiquarisch & neu kaufen
662 Treffer in
Bücher
gebraucht
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Konstruktion guter Algorithmen / Sichere und korrekte Software / Ingo Dittmer / Taschenbuch / Informatik & Praxis / Paperback / 300 S. / Deutsch / 1996 / Vieweg & Teubner / EAN 9783519029908
Vieweg & Teubner
, 1996, TaschenbuchISBN: 3519029901
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)
Springer
, 01.01.2008, TaschenbuchISBN: 3540439978
Neuware
mehr Info >>
wird gespeichert …
Linguistische Verifikation : Dokumentation zur Ersten Morpholympics 1994
De Gruyter
, 1996, Gebundene AusgabeISBN: 3484319348
Zustand: leichte Gebrauchsspuren
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Programmiersprachen : 4. Fachtagung der GI Erlangen, 8.–10. März 1976
Springer Berlin
, 1976, TaschenbuchISBN: 3540076190
Zustand: leichte Gebrauchsspuren
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Programmiersprachen und Programmentwicklung : 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft Zürich, 8./9. März, 1984
Springer Berlin
, 1984, BroschiertISBN: 3540129057
Zustand: leichte Gebrauchsspuren
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Biometrische Identifikation : Grundlagen, Verfahren, Perspektiven
Vieweg & Teubner
, 2013, TaschenbuchISBN: 9783322908445
Zustand: leichte Gebrauchsspuren
Criteria for the Development, Realization, and Endorsement of Formal Specification and Verification Tools Kriterien für die Entwicklung, Realisierung und Zulassung von Werkzeugen zur formalen Spezifikation und Verifikation
German Information Security Agency Bonn
, 1990.Zustand: gebraucht; gut
mehr Info >>
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Constraint-Programmierung | Grundlagen und Anwendungen | Slim Abdennadher (u. a.) | Taschenbuch | Springer-Lehrbuch | Paperback | ix | Deutsch | 1997 | Springer-Verlag GmbH | EAN 9783540606703
Slim Abdennadher
Springer-Verlag GmbH
, 1997, TaschenbuchISBN: 354060670X
Neuware
Interpretationswelten. Gegenwartsphilosophie jenseits von Essentialismus und Relativismus.
Günter Abel
Frankfurt am Main: Suhrkamp
, 1993.ISBN: 3518581341
Zustand: gebraucht; sehr gut
mehr Info >>
wird gespeichert …
Interpretationswelten : Gegenwartsphilosophie jenseits von Essentialismus und Relativismus. Suhrkamp-Taschenbuch Wissenschaft ; 1210
Günter Abel
Frankfurt am Main : Suhrkamp
, 1995.ISBN: 3518288105
Zustand: gebraucht; sehr gut
mehr Info >>
wird gespeichert …
Interpretationswelten. Gegenwartsphilosophie jenseits von Essentialismus und Relativismus.
Günter Abel
Frankfurt am Main: Suhrkamp
, 1993.ISBN: 3518581341
Zustand: gebraucht; gut
mehr Info >>
wird gespeichert …
Interpretationswelten. Gegenwartsphilosophie jenseits von Essentialismus und Relativismus.
Günter Abel
Frankfurt am Main: Suhrkamp.
, 1993.ISBN: 3518581341
Zustand: gebraucht; gut
mehr Info >>
wird gespeichert …
Entwurf und Analyse von PA der Klasse E: Ein 4GHz-Band für mobile Anwendungen
Nasiru Abubakar
Verlag Unser Wissen
, SoftcoverISBN: 620271123X
Neuware
Wirklichkeitsauffassungen - Unterschiedliche Ansätze und ihre Folgen für die Wissenschaften
Achuthan Thanabalasundaram
GRIN Verlag
, 23.02.2011, TaschenbuchISBN: 9783640840106
Neuware
mehr Info >>
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Creating Assertion-Based IP
Adam C. Krolnik
Springer US, Springer New York
, 26.11.2007, BuchISBN: 9780387366418
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Creating Assertion-Based IP
Adam C. Krolnik
Springer US, Springer New York
, 26.11.2007, BuchISBN: 9780387366418
Neuware
mehr Info >>
wird gespeichert …