Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Diese Produkte könnten Sie auch interessieren:
Abstraction, Refinement and Proof for Probabilistic Systems
388 Seiten, Hardcover
€ 164,99
| Reihe | Monographs in Computer Science |
|---|---|
| ISBN | 9780387401157 |
| Sprache | Englisch |
| Erscheinungsdatum | 19.11.2004 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer US |
| Lieferzeit | Lieferbar in 16 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH ProductSafety@springernature.com |
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!
- ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.
| Reihe | Monographs in Computer Science |
|---|---|
| ISBN | 9780387401157 |
| Sprache | Englisch |
| Erscheinungsdatum | 19.11.2004 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer US |
| Lieferzeit | Lieferbar in 16 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH ProductSafety@springernature.com |
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!
- ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Diese Produkte könnten Sie auch interessieren:
Sagen Sie uns Ihre Meinung
Wie gefällt Ihnen unser Shop?
Ihr Name (optional)
Ihre E-Mail Adresse (optional)