Del 10
Formal Methods for Open Object-Based Distributed Systems
Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
Häftad, 2013
2 271 kr
Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
AvRoberto Gorrieri,Alessandro Fantechi
E-bok
PDF, Engelska, 20132 948 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods.
This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999.
Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.
Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods.
This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999.
Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Dis
Paolo Ciancarini, Alessandro Fantechi
672 kr
Formal Methods for Open Object-Based Distributed Systems
International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
Inbunden, 1999
2 271 kr
From Software Engineering to Formal Methods and Tools, and Back
Laura Semini, Alessandro Fantechi, Maurice H. ter Beek
E-bok
2019732 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Alexander Romanovsky, Thierry Lecomte, Alessandro Fantechi
E-bok
2017739 kr
Del 10598
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
Häftad, 2017
557 kr
Del 9274
Software Engineering for Resilient Systems
Alessandro Fantechi, Patrizio Pelliccione
Häftad, 2015
460 kr