Cover Image
Read Now

Modeling and Verification of Parallel Processes 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures

Bibliographic Details
Main Author: Cassez, Franck
Other Authors: Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2001
Series:Lecture Notes in Computer Science
Subjects:
Information Theory
Software Engineering
Computer Science
Theory Of Computation
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
LEADER 01141nmm a2200301 u 4500
001 EB000287545
003 EBX01000000000000000053229
005 00000000000000.0
007 cr|||||||||||||||||||||
008 101003 |||
020 |a 9783540455103 
020 |a 978-3-540-42787-2 
100 1 |a Cassez, Franck 
245 0 0 |a Modeling and Verification of Parallel Processes  |h Elektronische Ressource  |b 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures  |c edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan 
260 |a Berlin, Heidelberg  |b Springer-Verlag Berlin Heidelberg  |c 2001 
300 |b v. digital 
700 1 |a Jard, Claude 
700 1 |a Rozoy, Brigitte 
700 1 |a Ryan, Mark Dermot 
989 |b LNCS  |a Lecture Notes in Computer Science 
490 0 |a Lecture Notes in Computer Science 
856 4 0 |u http://dx.doi.org/10.1007/3-540-45510-8?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004 
650 4 |a Information theory 
650 4 |a Software engineering 
650 4 |a Computer Science 
650 4 |a Software Engineering 
650 4 |a Theory of Computation 

Similar Items