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

Ondersteuning

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.81
Betalingsmethoden
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● Pagina’s 312 ● ISBN 9781498701594 ● Editor Luigia Petre & Emil Sekerinski ● Uitgeverij CRC Press ● Gepubliceerd 2016 ● Downloadbare 3 keer ● Valuta EUR ● ID 4917136 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

74.462 E-boeken in deze categorie