Formal Methods in Computer Science

314 Seiten, Taschenbuch
€ 192,20
-
+
Lieferung in 7-14 Werktagen

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Mehr Informationen
Themen Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse Elektronik, Nachrichtentechnik Elektronik
ISBN 9781498775328
Sprache Englisch
Erscheinungsdatum 03.07.2019
Größe 234 x 156 mm
Verlag Chapman and Hall/CRC
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Libri GmbH
Europaallee 1 | D-36244 Bad Hersfeld
gpsr@libri.de
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Mehr Informationen
Themen Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse Elektronik, Nachrichtentechnik Elektronik
ISBN 9781498775328
Sprache Englisch
Erscheinungsdatum 03.07.2019
Größe 234 x 156 mm
Verlag Chapman and Hall/CRC
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Libri GmbH
Europaallee 1 | D-36244 Bad Hersfeld
gpsr@libri.de
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post