info@buecher-doppler.ch

056 222 53 47

Registrieren/Login

Start
Numerical Software Verification

Numerical Software Verification

Numerical Software Verification

Numerical Software Verification

Angebote / Angebote:

Lieferbar in ca. 20-45 Arbeitstagen

Preis

70,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9783319542911
Status Lieferbar in ca. 20-45 Arbeitstagen
Autor Bogomolov, Sergiy / Martel, Matthieu / Prabhakar, Pavithra
Einband C, Logics and Meanings of Programs, Software Engineering, Computer Communication Networks, Mathematical Logic and Formal Languages, Information Systems Applications (incl. Internet), Artificial Intelligence, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Computer and Information Systems Applications, computer science, Computer logic, Computer communication systems, Mathematical logic, Application software, Computer architecture & logic design, Network hardware, Mathematical theory of computation, Information Retrieval, Internet searching, Kartonierter Einband (Kt)
Sprache eng
Seiten 107
Verlag Springer Nature EN
Reihe Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Publikationsjahr 2017

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.

Artikel, die Sie kürzlich angesehen haben

Warren Zevon and Philosophy

Warren Zevon and Philosophy

Noch nicht erschienen. Termin unbekannt

MacKinnon John E.

31,90 CHF

Shattered by the Sea Lord

Shattered by the Sea ...

Folgt in ca. 15 Arbeitstagen

31,50 CHF

The Springs of Affection

The Springs of Affection

Fremdlagertitel. Lieferzeit unbestimmt

20,50 CHF

The Culture of Beauty

The Culture of Beauty

Folgt in ca. 15 Arbeitstagen

45,90 CHF