Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings /

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2...

Description complète

Détails bibliographiques

Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Bruni, Roberto. (Éditeur intellectuel, http://id.loc.gov/vocabulary/relators/edt), Dingel, Juergen. (Éditeur intellectuel, http://id.loc.gov/vocabulary/relators/edt)
Format:	Électronique eBook
Langue:	English
Publié:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Édition:	1st ed. 2011.
Collection:	Programming and Software Engineering ; 6722
Sujets:	Computer communication systems. Computer programming. Software engineering. Programming languages (Electronic computers). Computer logic. Mathematical logic. Computer Communication Networks. Programming Techniques. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Mathematical Logic and Formal Languages.
Accès en ligne:	https://doi.org/10.1007/978-3-642-21461-5
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!