Data Refinement : Model-Oriented Proof Methods and their Comparison

Engelhardt, Kai de Roever, Willem-Paul

Produseres på bestilling

Leveringstid: 3-10 dager

Omtale

Graduate text in formal methods in computer science.

Utgivelsesdato:

18.12.2008
ISBN/Varenr:

9780521103503
Språk:

Engelsk
Forlag:

Cambridge University Press
Innbinding:

Heftet
Fagtema:

Data- og informasjonsteknologi
Serie:

Cambridge Tracts in Theoretical Computer Science
Litteraturtype:

Faglitteratur
Sider:

436
Høyde:

15.1 cm
Bredde:

22.9 cm

Nonmonotonic Reasoning : Logical Foundations of Commonsense

Brewka, Gerhard

9780521181303 Heftet

29.03.2012

Engelsk

Produseres på bestilling

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 Heftet

26.01.2012

Engelsk

Produseres på bestilling

Hybrid Graph Theory and Network Analysis

Gibbons, Alan • Novak, Ladislav

9780521106597 Heftet

03.09.2009

Engelsk

Produseres på bestilling

Design Theory and Computer Science

Dasgupta, Subrata

9780521118156 Heftet

06.08.2009

Engelsk

Produseres på bestilling

A Unifying Framework for Structured Analysis and Design Models : An Approach Using Initial Algebra Semantics and Category Theory

Tse, T. H.

9780521117876 Heftet

30.07.2009

Engelsk

Produseres på bestilling

The Clausal Theory of Types

Wolfram, D. A.

9780521117906 Heftet

30.07.2009

Engelsk

Produseres på bestilling

Higher Order Logic and Hardware Verification

Melham, T. F.

9780521115322 Heftet

02.07.2009

Engelsk

Produseres på bestilling

Lambda-calculus, Combinators and Functional Programming

Revesz, G. E.

9780521114295 Heftet

25.06.2009

Engelsk

Produseres på bestilling

Algebraic Specification of Communication Protocols

9780521088121 Heftet

11.12.2008

Engelsk

Produseres på bestilling