Articles liés à Concrete Semantics: With Isabelle/Hol

Concrete Semantics: With Isabelle/Hol - Couverture rigide

Nipkow, Tobias; Klein, Gerwin

 
9783319105413: Concrete Semantics: With Isabelle/Hol
Couverture rigide
ISBN 10 : 3319105418 ISBN 13 : 9783319105413
Editeur : Springer International Publishing AG, 2014
Afficher les exemplaires de cette édition ISBN
 
 

Acheter neuf

En savoir plus sur cette édition
9783319105413: Concrete Semantics: With Isabelle/Hol
EUR 76,82

Autre devise

Frais de port : EUR 2,43
Vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Autres éditions populaires du même titre

9783319357591: Concrete Semantics: With Isabelle/HOL

Edition présentée

ISBN 10 :  331935759X ISBN 13 :  9783319357591
Editeur : Springer, 2016
Couverture souple

  • 9783319105437: Concrete Semantics: With Isabelle/HOL

    Springer, 2015
    Couverture souple

Meilleurs résultats de recherche sur AbeBooks

Image fournie par le vendeur

Nipkow, Tobias; Klein, Gerwin
Edité par Springer (2014)
ISBN 10 : 3319105418 ISBN 13 : 9783319105413
Neuf Couverture rigide Quantité disponible : 1
Vendeur :
GreatBookPrices
(Columbia, MD, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. N° de réf. du vendeur 23052708-n

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 76,82
Autre devise

Ajouter au panier

Frais de port : EUR 2,43
Vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

"Nipkow, Tobias", "Klein, Gerwin"
Edité par Springer (2014)
ISBN 10 : 3319105418 ISBN 13 : 9783319105413
Neuf Couverture rigide Quantité disponible : 10
Vendeur :
booksXpress
(Bayonne, NJ, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 4 étoiles, Learn more about seller ratings

Description du livre Hardcover. Etat : new. N° de réf. du vendeur 9783319105413

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 79,33
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais
Image d'archives

Tobias Nipkow
ISBN 10 : 3319105418 ISBN 13 : 9783319105413
Neuf Couverture rigide Quantité disponible : 1
Vendeur :
PBShop.store US
(Wood Dale, IL, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur DB-9783319105413

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 89,42
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais
Image d'archives

Tobias Nipkow, Gerwin Klein
Edité par Springer 2014-12-31 (2014)
ISBN 10 : 3319105418 ISBN 13 : 9783319105413
Neuf Couverture rigide Quantité disponible : 1
Vendeur :
Chiron Media
(Wallingford, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Hardcover. Etat : New. N° de réf. du vendeur 6666-LBR-9783319105413

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 72,22
Autre devise

Ajouter au panier

Frais de port : EUR 17,54
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Nipkow, Tobias; Klein, Gerwin
Edité par Springer (2014)
ISBN 10 : 3319105418 ISBN 13 : 9783319105413
Neuf Couverture rigide Quantité disponible : > 20
Vendeur :
Lucky's Textbooks
(Dallas, TX, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar3113020088352

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 86,09
Autre devise

Ajouter au panier

Frais de port : EUR 3,67
Vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Nipkow, Tobias; Klein, Gerwin
Edité par Springer (2014)
ISBN 10 : 3319105418 ISBN 13 : 9783319105413
Neuf Couverture rigide Quantité disponible : 1
Vendeur :
GreatBookPricesUK
(Castle Donington, DERBY, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 4 étoiles, Learn more about seller ratings

Description du livre Etat : New. N° de réf. du vendeur 23052708-n

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 75,20
Autre devise

Ajouter au panier

Frais de port : EUR 17,55
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Tobias Nipkow
Edité par Springer (2014)
ISBN 10 : 3319105418 ISBN 13 : 9783319105413
Neuf Couverture rigide Quantité disponible : > 20
impression à la demande
Vendeur :
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

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

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 83,13
Autre devise

Ajouter au panier

Frais de port : EUR 11,68
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Nipkow, Tobias (Author)/ Klein, Gerwin (Author)
Edité par Springer (2015)
ISBN 10 : 3319105418 ISBN 13 : 9783319105413
Neuf Couverture rigide Quantité disponible : 1
impression à la demande
Vendeur :
Revaluation Books
(Exeter, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Hardcover. Etat : Brand New. 2014 edition. 314 pages. 9.30x6.20x0.87 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __3319105418

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 89,82
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

Gerwin Klein
ISBN 10 : 3319105418 ISBN 13 : 9783319105413
Neuf Buch Quantité disponible : 1
Vendeur :
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 4 étoiles, Learn more about seller ratings

Description du livre Buch. Etat : Neu. 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 9783319105413

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 80,24
Autre devise

Ajouter au panier

Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Gerwin Klein
ISBN 10 : 3319105418 ISBN 13 : 9783319105413
Neuf Couverture rigide Quantité disponible : 1
Vendeur :
Rheinberg-Buch Andreas Meier eK
(Bergisch Gladbach, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Buch. Etat : Neu. 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 9783319105413

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 80,24
Autre devise

Ajouter au panier

Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais

There are autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre