From Action Systems to Distributed Systems: The Refinement Approach
€21.20
Preis bei Onlinekauf
Kostenloser Versand
30 Tage kostenlose Rückgabe
Verkauft und versendet von noticiasdelaquinta.com.ar
Wir bemühen uns, Ihnen genaue Produktinformationen anzuzeigen. Hersteller, Lieferanten und andere stellen die hier gezeigten Angaben bereit.
€21.20
Preis bei Onlinekauf
Kostenloser Versand
30 Tage kostenlose Rückgabe
Verkauft und versendet von noticiasdelaquinta.com.ar
30 Tage kostenlose Rückgabe Details
Produktdetails
| Artikelnummer | 233491903 | Erscheinungsdatum | 2026/06/27 | Listenpreis | €21.20 | Modellnummer | 233491903 | ||
|---|---|---|---|---|---|---|---|---|---|
| Kategorie | |||||||||
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society's infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert Read more
| ASIN | B07V26G69N |
|---|---|
| XRay | Not Enabled |
| Format | Print Replica |
| ISBN13 | 978-1498701594 |
| Edition | 1st |
| Language | English |
| File size | 28.6 MB |
| Page Flip | Not Enabled |
| Publisher | Chapman and Hall/CRC |
| Word Wise | Not Enabled |
| Print length | 312 pages |
| Accessibility | Learn more |
| Publication date | April 27, 2016 |
| Enhanced typesetting | Not Enabled |
Korrektur der Produktinformationen
Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.
KorrekturanfrageKundenbewertungen
4.2 von 5
★★★★★
141 Bewertungen | 58 Rezensionen
So wird die Artikelbewertung berechnet
Alle Bewertungen anzeigen
Sortieren nach
Für dieses Produkt liegen derzeit keine schriftlichen Bewertungen vor.