Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings / edited by Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge.
By: Najm, Elie.
Contributor(s): Pradat-Peyre, Jean-François | Donzeau-Gouge, Véronique Viguié | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 4229.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: digital.ISBN: 9783540462200.Subject(s): Computer science | Computer Communication Networks | Software engineering | Operating systems (Computers) | Logic design | Computer Science | Computer Communication Networks | Software Engineering | Logics and Meanings of Programs | Operating SystemsDDC classification: 004.6 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.