Concurrency verification : introduction to compositional and noncompositional methods

Concurrency verification : introduction to compositional and noncompositional methods

Saved in:
Bibliographic Details
Format : Book
Language : anglais
Title statement : Concurrency verification : introduction to compositional and noncompositional methods / Willem-Paul de Roever, Frank de Boer, Ulrich Hannemann...[et al]
Published : Cambridge : Cambridge University press , 2001
Physical Description : XXII-776 p.
Series : Cambridge tracts in theoretical computer science ; 54
Subjects :
Logiciels > Essais
Parallélisme (informatique)
LEADER 00893nam a2200241 4500
001 PPN073004804
005 20181031133000.0
009 DYNIX_BUNAN_482620
010 |a 0-521-80608-9 
100 |a 20020111d2001 u0frey0103 ba 
101 0 |a eng 
102 |a GB 
200 1 |a Concurrency verification  |e introduction to compositional and noncompositional methods  |f Willem-Paul de Roever, Frank de Boer, Ulrich Hannemann...[et al] 
210 |a Cambridge  |c Cambridge University press  |d 2001 
215 |a XXII-776 p.  |c ill.  |d 24 cm 
225 2 |a Cambridge tracts in theoretical computer science  |v 54 
606 0 0 |a Logiciels  |x Essais 
606 0 0 |a Parallélisme (informatique) 
702 1 |a Roever  |b Willem-Paul de  |4 330 
801 |a FR  |b DYNIX_BUNAN  |c 20020111  |g AFNOR 
979 |a ECN 
993 |a 1142214702  |b ECN  |c 681.3 CON A 05  |d ECN1  |e ECN1  |f I  |g 11-01-2002  |h 11-01-2002  |s 13816  |t ECN1  |u ECN1  |v i 
998 |a 55890