Luigia Petre & Emil Sekerinski 
From Action Systems to Distributed Systems [PDF ebook] 
The Refinement Approach

Wsparcie

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

€57.76
Metody Płatności
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Angielski ● Format PDF ● Strony 312 ● ISBN 9781498701594 ● Redaktor Luigia Petre & Emil Sekerinski ● Wydawca CRC Press ● Opublikowany 2016 ● Do pobrania 3 czasy ● Waluta EUR ● ID 4917136 ● Ochrona przed kopiowaniem Adobe DRM
Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

74 829 Ebooki w tej kategorii