Isabelle: a Generic Theorem Prover - Lecture Notes in Computer Science - Lawrence C. Paulson - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540582441 - 28 juli 1994
Om omslag och titel inte matchar är det titeln som gäller

Lawrence C. Paulson
Isabelle: a Generic Theorem Prover - Lecture Notes in Computer Science 1994 edition

Pris
SEK 569

Beställningsvara

Förväntad leverans 29 okt - 6 nov
Få avisering om nya utgåvor med Lawrence C. Paulson

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.

329 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 28 juli 1994
ISBN13 9783540582441
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 329
Mått 156 × 234 × 18 mm   ·   494 g
Språk Engelska  
Medverkande T. Nipkow

Mer från samma **utgivare**

Se alt med Lawrence C. Paulson