Del 11222
Del i serien Undergraduate Topics in Computer Science
Designing Reliable Distributed Systems
A Formal Methods Approach Based on Executable Modeling in Maude
Häftad, Engelska, 2018
1 009 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.
Produktinformation
- Utgivningsdatum2018-02-22
- Mått155 x 235 x 18 mm
- Vikt564 g
- FormatHäftad
- SpråkEngelska
- SerieUndergraduate Topics in Computer Science
- Antal sidor313
- FörlagSpringer London Ltd
- ISBN9781447166863
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Del 12819
Del 9200
Logic, Rewriting, and Concurrency
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
Häftad
699 kr
Del 9539
Del 596
Hoppa över listan
Mer från samma serie
Introduction to Operating System Design and Implementation
Michael Kifer, Scott Smolka, Michael Kifer, Scott Smolka
Häftad
719 kr
Rigorous Software Development
José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
Häftad
509 kr
Hoppa över listan
Du kanske också är intresserad av
Del 596
Del 9539
Del 9200
Logic, Rewriting, and Concurrency
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
Häftad
699 kr
Del 11222