Formal Methods for Eternal Networked Software Systems View on Open Library

Formal Methods for Eternal Networked Software Systems

by Marco Bernardo

No reviews yet
First published: 2011 1 language ISBN: 9783642214561
Subjects
Information systems Computer science Software engineering Informatique Computer networks Formal methods (Computer science) Congresses Computer software, development System design Computer architecture

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Marco Bernardo

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for the Quantitative Eval...

Formal Methods for Dynamical Systems

Formal Methods for Dynamical Systems

Formal Methods for Multicore Programming

Formal Methods for Multicore Programming

Formal Methods for Executable Software Models

Formal Methods for Executable Software M...

Formal Methods for the Design of Real-Time Systems

Formal Methods for the Design of Real-Ti...

Formal Methods for Quantitative Aspects of Programming Languages

Formal Methods for Quantitative Aspects ...

You Might Also Like

More in Information systems
Financial audit

Financial audit

United States. General Accounting Office
Tax administration

Tax administration

United States. General Accounting Office
Financial audit

Financial audit

United States. General Accounting Office
NASA/DoD aerospace knowledge diffusion research project

NASA/DoD aerospace knowledge diffusion r...

Thomas E. Pinelli
Nuclear waste

Nuclear waste

United States. General Accounting Office
Management information systems

Management information systems

Kenneth C. Laudon