Details

ISBN/EAN: 978-1-447-12513-6
Einband: kartoniertes Buch
Weitere Details
Auflage:
3. Auflage 2012
Erschienen am:
Sprache:
English
Umfang:
xxiv, 502 S., 26 s/w Illustr., 502 p. 26 illus.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg


Weitere Details arrow_forward_ios
Gewährleistungs-Label

Verification of Sequential and Concurrent Programs

Texts in Computer Science

85,59 €
inkl. MwSt.
excl. Versandkosten

Nachfragen


Weitere Artikel aus der Kategorie "Informatik, EDV/Informatik"

Scrum - kurz & gut
book_2
Rolf Dräther
Scrum - kurz & gut

Lieferbar innerhalb 1 - 2 Wochen

19,90 €
Handbuch IT-Projektmanagement und IT-Transformation
Vorbestellen
book_2
Ernst Tiemeyer
Handbuch IT-Projektmanagement und IT-Transformation

Nicht lieferbar

69,99 €
Retrospektiven in agilen Projekten
book_2
Judith Andresen
Retrospektiven in agilen Projekten

Nicht lieferbar

34,99 €
Künstliche Intelligenz und Krieg
book_2
Karl Hans Bläsius
Künstliche Intelligenz und Krieg

Lieferbar innerhalb 1 - 2 Wochen

24,99 €
Das ChatGPT Handbuch für Superkräfte: ChatGPT als Chance! Die wichtigsten PROMPTS für automatische Kundenkommunikation, Textgenerierung, Kunst, Marketing, Datenanalyse und personalisierte Interaktion
deployed_code
Stefan Wagenscheidt
Das ChatGPT Handbuch für Superkräfte: ChatGPT als Chance! Die wichtigsten PROMPTS für automatische Kundenkommunikation, Textgenerierung, Kunst, Marketing, Datenanalyse und personalisierte Interaktion

Abholbereit innerhalb 24 Stunden, Lieferbar innerhalb 48 Stunden

19,90 €
Praxiseinstieg Machine Learning mit Scikit-Learn und PyTorch
Neu
book_2
Aurélien Géron
Praxiseinstieg Machine Learning mit Scikit-Learn und PyTorch

Lieferbar innerhalb 1 - 2 Wochen

59,90 €
Alle Produkte anzeigen