Del 13241
Del i serien Lecture Notes in Computer Science
Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Häftad, Engelska, 2007
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.
Produktinformation
- Utgivningsdatum2007-05-25
- Mått155 x 235 x 19 mm
- Vikt505 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor317
- Upplaga2007
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540729198
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 9846
Service-Oriented and Cloud Computing
Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski
Häftad, 2016
739 kr
Del 9104
Del 8483
Formal Methods for Executable Software Models
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Häftad, 2014
739 kr
Del 10375
Del 13360
Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Häftad, 2022
1 479 kr
Del 14360
Active Object Languages: Current Research Trends
Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
Häftad, 2024
1 109 kr
Del 10465
Service-Oriented and Cloud Computing
Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen
Häftad, 2017
739 kr
Del 9660
Theory and Practice of Formal Methods
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Häftad, 2016
739 kr