AKTUELLE PARTNERANGEBOTE

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

Name: Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
Brand: Willem-Paul de Roever
SKU: 11779936

Binding : Gebundene Ausgabe, Label : Cambridge University Press, Publisher : Cambridge University Press, medium : Gebundene Ausgabe, numberOfPages : 800, publicationDate : 2001-11-26, authors : Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, languages : english, ISBN : 0521806089

1 Angebote · ab 273,80 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)