Concrete Semantics: With Isabelle/HOL
Nipkow, Tobias; Klein, Gerwin
Verkauft von BooksRun, Philadelphia, PA, USA
AbeBooks-Verkäufer seit 2. Februar 2016
Gebraucht - Hardcover
Zustand: Gebraucht - Gut
Anzahl: 1 verfügbar
In den Warenkorb legenVerkauft von BooksRun, Philadelphia, PA, USA
AbeBooks-Verkäufer seit 2. Februar 2016
Zustand: Gebraucht - Gut
Anzahl: 1 verfügbar
In den Warenkorb legenIt's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Bestandsnummer des Verkäufers 3319105418-8-1
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.
Prof. Tobias Nipkow received his Ph.D. in Manchester, after which he taught and carried out research at MIT and in Cambridge. He took up a professorship in 1992 at the Technische Universität München where he holds the Chair for Logic and Verification. He was one of the developers of Isabelle, a generic proof assistant, and he coauthored the related LNCS tutorial. He also coauthored the textbook "Term Rewriting and All That", and he is the Editor-in-Chief of the Journal of Automated Reasoning. His research interests include automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, and the lambda-calculus.
Assoc. Prof. Gerwin Klein received his Ph.D. in Computer Science from the Technische Universität München. He is a Senior Principal Researcher/Research Leader at National ICT Australia (NICTA) and an adjunct professor in the School of Computer Science and Engineering, University of NewSouth Wales. His research interests include interactive theorem proving, software verification, and the semantics of programming languages.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
30 days hassle-free returns guaranteed!
Wenn Sie Verbraucher sind, steht Ihnen ein Widerrufsrecht nach folgender Ma?gabe zu. Verbraucher ist jede nat?rliche Person, die ein Rechtsgesch?ft zu Zwecken abschlie?t, die ?berwiegend weder ihrer gewerblichen noch ihrer selbst?ndigen beruflichen T?tigkeit zugerechnet werden k?nnen.
WIDERRUFSBELEHRUNG
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gr?nden diesen Vertrag zu widerrufen.
Die Widerrufsfrist betr?gt vierzehn Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Bef?rderer ist, die letzte Ware oder die letzte Teilsendung bzw. das letzte St?ck in Besitz genommen haben bzw. hat.
Um Ihr Widerrufsrecht auszu?ben, m?ssen Sie uns, BooksRun, 1733 Sheepshead Bay rd., Ste 29, 11235, Brooklyn, New York, U.S.A., 1 866-249-9769, mittels einer eindeutigen Erkl?rung (z.B. ein mit der Post versandter Brief, Telefax oder E-Mail) ?ber Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie k?nnen daf?r das beigef?gte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist. Sie k?nnen auch eine andere eindeutige Erkl?rung auf der Webseite "Meine Bestellungen" in Ihrem "Nutzerkonto" elektronisch ausf?llen und ?bermitteln. Machen Sie von dieser M?glichkeit Gebrauch, so werden wir Ihnen unverz?glich (z. B. per E-Mail) eine Best?tigung ?ber den Eingang eines solchen Widerrufs ?bermitteln. Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung ?ber die Aus?bung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Folgen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschlie?lich der Lieferkosten (mit Ausnahme der zus?tzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, g?nstigste Standardlieferung gew?hlt haben), unverz?glich und sp?testens binnen vierzehn Tagen ab dem Tag zur?ckzuzahlen, an dem die Mitteilung ?ber Ihren Widerruf dieses Vertrags bei uns eingegangen ist. F?r diese R?ckzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der urspr?nglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdr?cklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser R?ckzahlung Entgelte berechnet. Wir k?nnen die R?ckzahlung verweigern, bis wir die Waren wieder zur?ckerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zur?ckgesandt haben, je nachdem, welches der fr?here Zeitpunkt ist. Sie haben die Waren unverz?glich und in jedem Fall sp?testens binnen vierzehn Tagen ab dem Tag, an dem Sie uns ?ber den Widerruf dieses Vertrags unterrichten, an BooksRun, 1733 Sheepshead Bay rd., Ste 29, 11235, Brooklyn, New York, U.S.A., 1 866-249-9769, zur?ckzusenden oder zu ?bergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden.
Sie tragen die unmittelbaren Kosten der R?cksendung der Waren. Sie m?ssen f?r einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Pr?fung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zur?ckzuf?hren ist.
Ausnahmen vom Widerrufsrecht
Das Widerrufsrecht besteht nicht bzw. erlischt bei folgenden Vertr?gen:
ENDE DER WIDERRUFSBELEHRUNG
Muster-Widerrufsformular
(Wenn Sie den Vertrag widerrufen wollen, dann f?llen Sie bitte dieses Formular aus und senden Sie es zur?ck)
An: (BooksRun, 1733 Sheepshead Bay rd., Ste 29, 11235, Brooklyn, New York, U.S.A., 1 866-249-9769)
Hiermit widerrufe(n) ich/wir* den von mir/uns* abgeschlossenen Vertrag ?ber den Kauf der folgenden Waren*/ die Erbringung der folgenden Dienstleistung*
Bestellt am*/erhalten am*:
Name des/der Verbraucher(s):
Anschrift des/der Verbraucher(s):
Unterschrift des/der Verbraucher(s) (nur bei Mitteilung auf Papier):
Datum:
* Unzutreffendes streichen.
| Bestellmenge | 3 bis 8 Werktage | 3 bis 6 Werktage |
|---|---|---|
| Erster Artikel | EUR 0.00 | EUR 3.46 |
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.