From Action Systems to Distributed Systems
The Refinement Approach
AvEmil Sekerinski,Luigia Petre
E-bok
Engelska, 2016866 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Fler format och utgåvor
Beskrivning
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
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Program Development by Refinement
Kaisa Sere, Emil Sekerinski, Emil Sekerinski, Kaisa Sere
Häftad, 1998
2 267 kr
Del 12232
Formal Methods. FM 2019 International Workshops
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Häftad, 2020
572 kr
Formal Methods. FM 2019 International Workshops
David Delmas, Pedro Monteiro, Martin Kutrib, Brijesh Dongol, Luis Couto, Antonio Cerone, Laure Gonnord, Troy Astarte, Jose Campos, Diego Marmsoler, Matt Luckcuck, Marie Farrell, Riccardo Guidotti, Daniel Ratiu, Jose N. Oliveira, Nelma Moreira, Emil Sekerinski
E-bok
2020739 kr
Del 12233
Formal Methods. FM 2019 International Workshops
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Häftad, 2020
572 kr
Formal Methods. FM 2019 International Workshops
David Delmas, Pedro Monteiro, Martin Kutrib, Brijesh Dongol, Luis Couto, Antonio Cerone, Laure Gonnord, Troy Astarte, Jose Campos, Diego Marmsoler, Matt Luckcuck, Marie Farrell, Riccardo Guidotti, Daniel Ratiu, Jose N. Oliveira, Nelma Moreira, Emil Sekerinski
E-bok
2020732 kr
Del 14939
Del 8739
Hoppa över listan
Du kanske också är intresserad av
Del 11758
Dependability and Computer Engineering
Luigia Petre, Kaisa Sere, Elena Troubitsyna
Inbunden, 2011
1 797 kr