Search:

Type:

Format:

Library:

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, Iceland, June 6-9, 2011. Proceedings Cover Image

E-book

E-book

Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Roberto Bruni, Juergen Dingel.

Bruni, Roberto. (editor.). Dingel, Juergen. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642214615
Physical Description: XIV, 349p. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Search for related items by subject

Subject:

Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.

Search for related items by series

Add to basket View My Basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

▼ Additional Content

No Content Available

► Shelf Browser

► MARC Record