Type d'article
Etat
Reliure
Particularités
Livraison gratuite
Pays
Evaluation du vendeur
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : SecondSale, Montgomery, IL, Etats-Unis
Livre
Etat : Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : New.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Hardcover. Etat : new.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : As New. Unread book in perfect condition.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : GoldenWavesOfBooks, Fayetteville, TX, Etats-Unis
Livre
Hardcover. Etat : new. New. Fast Shipping and good customer service.
Edité par Springer International Publishing, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Livre
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Livre
Etat : New.
Edité par Springer 2014-12-31, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Livre
Hardcover. Etat : New.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : New.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Livre impression à la demande
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer, 2015
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Livre impression à la demande
Hardcover. Etat : Brand New. 2014 edition. 314 pages. 9.30x6.20x0.87 inches. In Stock. This item is printed on demand.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : As New. Unread book in perfect condition.
Edité par Springer International Publishing Dez 2014, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
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.
Edité par Springer International Publishing Dez 2014, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Allemagne
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.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : Big Bill's Books, Wimberley, TX, Etats-Unis
Livre
Hardcover. Etat : new. Brand New Copy.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : Front Cover Books, Denver, CO, Etats-Unis
Livre
Etat : new.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : Wizard Books, Long Beach, CA, Etats-Unis
Livre
Hardcover. Etat : new. New.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : GoldenDragon, Houston, TX, Etats-Unis
Livre
Hardcover. Etat : new. Buy for Great customer experience.
Edité par Springer International Publishing Dez 2014, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : Wegmann1855, Zwiesel, Allemagne
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.
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : California Books, Miami, FL, Etats-Unis
Livre
Etat : New.
Edité par Springer International Publishing, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Livre
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Edité par Springer International Publishing Dez 2014, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
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.
Edité par Springer, 2015
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Livre
Hardcover. Etat : Brand New. 2014 edition. 314 pages. 9.30x6.20x0.87 inches. In Stock.
Edité par Springer International Publishing, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : moluna, Greven, Allemagne
Livre impression à la demande
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.
Edité par Springer International Publishing AG, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Livre
Etat : New. Concrete Semantics Num Pages: 311 pages, 86 black & white illustrations, 1 colour illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 631. . 2014. Hardback. . . . .
Edité par Springer, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : GoldBooks, Denver, CO, Etats-Unis
Livre
Hardcover. Etat : new. New Copy. Customer Service Guaranteed.
Edité par Springer International Publishing AG, 2014
ISBN 10 : 3319105418ISBN 13 : 9783319105413
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Livre
Etat : New. Concrete Semantics Num Pages: 311 pages, 86 black & white illustrations, 1 colour illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 631. . 2014. Hardback. . . . . Books ship from the US and Ireland.