Hopp til hovedinnhold
Placeholder image

Concurrency Verification : Introduction to Compositional and Non-compositional Methods

Boer, Frank de Lakhnech, Yassine Roever, Willem-Paul de Hanneman, Ulrich Poel, Mannes Hooman, Jozef Zwiers, Job

Produseres på bestilling

Leveringstid: 3-10 dager

Handlinger

Beskrivelse

Omtale

This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

  • Utgivelsesdato:

    26.01.2012

  • ISBN/Varenr:

    9780521169325

  • Språk:

    Engelsk

  • Forlag:

    Cambridge University Press

  • Innbinding:

    Heftet

  • Fagtema:

    Data- og informasjonsteknologi

  • Serie:

    Cambridge Tracts in Theoretical Computer Science

  • Litteraturtype:

    Faglitteratur

  • Sider:

    800

  • Høyde:

    22.8 cm

  • Bredde:

    15.4 cm

Andre bøker i samme serie

Nonmonotonic Reasoning : Logical Foundations of Commonsense

Nonmonotonic Reasoning : Logical Foundations of Commonsense
Brewka, Gerhard
9780521181303 Heftet
29.03.2012
Engelsk

Produseres på bestilling
Hybrid Graph Theory and Network Analysis

Hybrid Graph Theory and Network Analysis
Gibbons, Alan • Novak, Ladislav
9780521106597 Heftet
03.09.2009
Engelsk

Produseres på bestilling
Design Theory and Computer Science

Design Theory and Computer Science
Dasgupta, Subrata
9780521118156 Heftet
06.08.2009
Engelsk

Produseres på bestilling
The Clausal Theory of Types

The Clausal Theory of Types
Wolfram, D. A.
9780521117906 Heftet
30.07.2009
Engelsk

Produseres på bestilling
Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification
Melham, T. F.
9780521115322 Heftet
02.07.2009
Engelsk

Produseres på bestilling
Lambda-calculus, Combinators and Functional Programming

Lambda-calculus, Combinators and Functional Programming
Revesz, G. E.
9780521114295 Heftet
25.06.2009
Engelsk

Produseres på bestilling
Data Refinement : Model-Oriented Proof Methods and their Comparison

Data Refinement : Model-Oriented Proof Methods and their Comparison
Engelhardt, Kai • de Roever, Willem-Paul
9780521103503 Heftet
18.12.2008
Engelsk

Produseres på bestilling
Algebraic Specification of Communication Protocols

Algebraic Specification of Communication Protocols
9780521088121 Heftet
11.12.2008
Engelsk

Produseres på bestilling

Andre bøker av samme forfatter

Concurrency Verification : Introduction to Compositional and Non-compositional Methods

Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Boer, Frank de • Lakhnech, Yassine • Roever, Willem-Paul de • Hanneman, Ulrich • Poel, Mannes • Hooman, Jozef • Zwiers, Job
9780521806084 Innbundet
26.11.2001
Engelsk

Produseres på bestilling