Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Paese del venditore
Valutazione venditore
Editore: Springer, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: GreatBookPrices, Columbia, MD, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Editore: Springer, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer International Publishing Sep 2016, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: 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.
Editore: Springer, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: GF Books, Inc., Hawthorne, CA, U.S.A.
Libro
Condizione: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear. 1.26.
Editore: Springer, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: GF Books, Inc., Hawthorne, CA, U.S.A.
Libro
Condizione: New. Book is in NEW condition. 1.26.
Editore: Springer-Verlag New York Inc, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: Revaluation Books, Exeter, Regno Unito
Libro
Paperback. Condizione: Brand New. reprint edition. 312 pages. 9.25x6.10x1.42 inches. In Stock.
Editore: Springer International Publishing, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Taschenbuch. Condizione: 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.
Editore: Springer International Publishing, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: moluna, Greven, Germania
Libro Print on Demand
Condizione: 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.
Editore: Springer, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: ALLBOOKS1, Salisbury Plain, SA, Australia
Libro
Editore: Springer, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: Mispah books, Redhill, SURRE, Regno Unito
Libro
Paperback. Condizione: Like New. Like New. book.
Editore: Springer, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: GreatBookPrices, Columbia, MD, U.S.A.
Libro
Condizione: As New. Unread book in perfect condition.
Editore: Springer International Publishing AG, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: Kennys Bookstore, Olney, MD, U.S.A.
Libro
Condizione: New. 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 17. Weight in Grams: 480. . 2016. Softcover reprint of the original 1st ed. 2014. Paperback. . . . . Books ship from the US and Ireland.
Editore: Springer International Publishing AG, 2016
ISBN 10: 331935759XISBN 13: 9783319357591
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro
Condizione: New. 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 17. Weight in Grams: 480. . 2016. Softcover reprint of the original 1st ed. 2014. Paperback. . . . .