Description du livre Etat : New. New! This book is in the same immaculate condition as when it was published. N� de r�f. du vendeur 353-331935759X-new

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 60,82

Autre devise

Ajouter au panier

Frais de port : Gratuit

Vers Etats-Unis

Destinations, frais et d�lais

Image fournie par le vendeur

Concrete Semantics: With Isabelle/HOL by Nipkow, Tobias [Paperback ]

Nipkow, Tobias

Edit� par Springer (2016)

ISBN 10 : 331935759X ISBN 13 : 9783319357591

Neuf Soft Cover Quantit� disponible : 10

Vendeur :

booksXpress
(Bayonne, NJ, Etats-Unis)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Soft Cover. Etat : new. N� de r�f. du vendeur 9783319357591

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 64,55

Autre devise

Ajouter au panier

Frais de port : Gratuit

Vers Etats-Unis

Destinations, frais et d�lais

Image d'archives

Concrete Semantics : With Isabelle/HOL

Tobias Nipkow

Edit� par Springer (2016)

ISBN 10 : 331935759X ISBN 13 : 9783319357591

Neuf Couverture souple Quantit� disponible : > 20

impression � la demande

Vendeur :

Ria Christie Collections
(Uxbridge, Royaume-Uni)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N� de r�f. du vendeur ria9783319357591_lsuk

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 60,61

Autre devise

Ajouter au panier

Frais de port : EUR 11,70

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Image fournie par le vendeur

Concrete Semantics

Gerwin Klein

Edit� par Springer International Publishing Sep 2016 (2016)

ISBN 10 : 331935759X ISBN 13 : 9783319357591

Neuf Taschenbuch Quantit� disponible : 2

impression � la demande

Vendeur :

BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Allemagne)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle's structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without familiarity with Isabelle's proof language, all proofs are described in detail but informally.The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts. In this sense it represents a formal approach to computer science, not just semantics. The Isabelle formalisation, including the proofs and accompanying slides, are freely available online, and the book is suitable for graduate students, advanced undergraduate students, and researchers in theoretical computer science and logic. 312 pp. Englisch. N� de r�f. du vendeur 9783319357591

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Ajouter au panier

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Image d'archives

Concrete Semantics: With Isabelle/Hol

Nipkow, Tobias/ Klein, Gerwin

Edit� par Springer-Verlag New York Inc (2016)

ISBN 10 : 331935759X ISBN 13 : 9783319357591

Neuf Paperback Quantit� disponible : 2

Vendeur :

Revaluation Books
(Exeter, Royaume-Uni)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Paperback. Etat : Brand New. reprint edition. 312 pages. 9.25x6.10x1.42 inches. In Stock. N� de r�f. du vendeur x-331935759X

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 71,07

Autre devise

Ajouter au panier

Frais de port : EUR 11,72

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Image fournie par le vendeur

Concrete Semantics : With Isabelle/HOL

Gerwin Klein

Edit� par Springer International Publishing (2016)

ISBN 10 : 331935759X ISBN 13 : 9783319357591

Neuf Taschenbuch Quantit� disponible : 1

Vendeur :

AHA-BUCH GmbH
(Einbeck, Allemagne)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle's structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without familiarity with Isabelle's proof language, all proofs are described in detail but informally.The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts. In this sense it represents a formal approach to computer science, not just semantics. The Isabelle formalisation, including the proofs and accompanying slides, are freely available online, and the book is suitable for graduate students, advanced undergraduate students, and researchers in theoretical computer science and logic. N� de r�f. du vendeur 9783319357591

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 56,69

Autre devise

Ajouter au panier

Frais de port : EUR 32,99

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Image fournie par le vendeur

Concrete Semantics

Tobias Nipkow|Gerwin Klein

Edit� par Springer International Publishing (2016)

ISBN 10 : 331935759X ISBN 13 : 9783319357591

Neuf Couverture souple Quantit� disponible : > 20

impression � la demande

Vendeur :

moluna
(Greven, Allemagne)

Evaluation vendeur

Evaluation du vendeur :

Description du livre Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Suitable for graduate students and researchers in theoretical computer science and logicTeaches reader the art of precise logical reasoning and the practical use of a proof assistantRepresents a formal approach to computer science, not just se. N� de r�f. du vendeur 448747003

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf

EUR 47,23

Autre devise

Ajouter au panier

Frais de port : EUR 48,99

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Articles li�s � Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL - Couverture souple

Acheter neuf

Autres �ditions populaires du m�me titre

Edition pr�sent�e

Meilleurs r�sultats de recherche sur AbeBooks