Hopp til hovedinnhold

Oppdatert 4. februar: Klikk her for info om bokleveranser, faktura og nettbutikk

Bøker

Barn

Ungdom

Unge voksne

Avansert søk

Før en utgivelse er katalogisert vil den mangle noe metadata, typisk dewey og emne.

Forsidebilde av 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

9780521169325 Cambridge Tracts in Theoretical Computer Science Heftet

26.01.2012

Engelsk

Produseres på bestilling

Forsidebilde av 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 Cambridge Tracts in Theoretical Computer Science Heftet

18.12.2008

Engelsk

Produseres på bestilling

Forsidebilde av 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 Cambridge Tracts in Theoretical Computer Science Innbundet

26.11.2001

Engelsk

Produseres på bestilling

Forsidebilde av Data Refinement : Model-Oriented Proof Methods and their Comparison

Data Refinement : Model-Oriented Proof Methods and their Comparison

Engelhardt, Kai de Roever, Willem-Paul

9780521641708 Cambridge Tracts in Theoretical Computer Science Innbundet

03.12.1998

Engelsk

Produseres på bestilling

Viser 1-4