Location & Availability for: Formal techniques for distributed system

 Staff view

You must be logged in to Tag Records

Formal techniques for distributed systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, proceedings /

Dirk Beyer, Michele Boreale (eds.).

Book Cover
Names: Beyer, Dirk, | Boreale, Michele,
Published: Heidelberg ; Springer, ©2013.
Series: Lecture notes in computer science ; 7892.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Electronic data processing - Distributed processing - Congresses. | Formal methods (Computer science) - Congresses. | Automatic Data Processing - Congresses. | Computing Methodologies - Congresses.
Genres: Electronic books. | Conference papers and proceedings.
Online Access: SpringerLink - Full text online
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


University of Illinois at Urbana-Champaign

Loading Holdings Data ... Loading

Location & Availability for: Formal techniques for distributed system