Zurück zur Startseite
|Eingestellt in Kategorie:

Bild 1 von 2

Formal Methods Fact File: VDM und Z (Wiley - Taschenbuch, von Harry Andrew - - Bild 1 von 2
Formal Methods Fact File: VDM und Z (Wiley - Taschenbuch, von Harry Andrew - - Bild 2 von 2

Formal Methods Fact File: VDM und Z (Wiley - Taschenbuch, von Harry Andrew --

Ursprünglicher Text
Formal Methods Fact File: VDM and Z (Wiley - Paperback, by Harry Andrew -
Sellecentric
(197)
Angemeldet als privater Verkäufer
Verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, finden daher keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe. Mehr erfahren
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
US $149,99
Ca.EUR 127,42
oder Preisvorschlag
Artikelzustand:
Akzeptabel
“Preowned copy but fairly good condition.Noticeable wear from use.Will pack carefully and ship out ”... Mehr erfahrenÜber den Artikelzustand
Versand:
US $29,99 (ca. EUR 25,48) FedEx Ground Economy®.
Standort: GUELPH, Ontario, Kanada
Lieferung:
Lieferung zwischen Mi, 30. Jul und Do, 7. Aug nach 94104 bei heutigem Zahlungseingang
Wir wenden ein spezielles Verfahren zur Einschätzung des Liefertermins an – in diese Schätzung fließen Faktoren wie die Entfernung des Käufers zum Artikelstandort, der gewählte Versandservice, die bisher versandten Artikel des Verkäufers und weitere ein. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
Rücknahme:
Keine Rücknahme.
Zahlungen:
   Diners Club 

Sicher einkaufen

eBay-Käuferschutz
Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet

  • Gratis Rückversand im Inland
  • Punkte für jeden Kauf und Verkauf
  • Exklusive Plus-Deals
Mehr erfahren- eBay Plus - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:276767617147

Artikelmerkmale

Artikelzustand
Akzeptabel
Buch mit deutlichen Gebrauchsspuren. Der Einband kann einige Beschädigungen aufweisen, ist aber in seiner Gesamtheit noch intakt. Die Bindung ist möglicherweise leicht beschädigt, in ihrer Gesamtheit aber noch intakt. In den Randbereichen wurden evtl. Notizen gemacht, der Text kann Unterstreichungen und Markierungen enthalten, es fehlen aber keine Seiten und es ist alles vorhanden, was für die Lesbarkeit oder das Verständnis des Textes notwendig ist. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers. Alle Zustandsdefinitionen aufrufenwird in neuem Fenster oder Tab geöffnet
Hinweise des Verkäufers
“Preowned copy but fairly good condition.Noticeable wear from use.Will pack carefully and ship out ...
Book Title
Formal Methods Fact File: VDM and Z (Wiley Series in Software Eng
ISBN
9780471940067

Über dieses Produkt

Product Information

Formal Methods Fact File VDM and Z Andrew Harry Formal methods provide a means of specifying computer systems that is unambiguous,concise and well suited to the development of complex software systems for which accuracy and reliability are critical. Heavily mathematical and seemingly difficult to learn, for many they hold little appeal. Andrew Harry speaks as a programmer who has travelled the difficult route to an understanding of formal methods techniques, and knows why it's worth the effort. He explains, in refreshingly simple terms, what formal methods are, why we need them, what should motivate our choice of methods and how to use them effectively. The book presents a novel view of formal methods, spanning the range of specification techniques. An overview of the different styles of formal notation is followed by detailed chapters on the two most popular languages, VDM and Z, consistent with the latest draft standards. There is a readable account of the underlying maths, a short introduction to semantics for proof, and a survey of tools available. Teaching aids include quick reference appendices on the notation and syntax of VDM and Z; exercises (and their solutions); and a useful glossary of terms. A more populist account than most, this book's 'informal' treatment of the subject will appeal to students and industrial programmers who want to know more but find little on the shelves for the novice. Visit our Web page! http://www.wiley.com/compbooks/

Product Identifiers

Publisher
Wiley & Sons, Incorporated, John
ISBN-10
0471940062
ISBN-13
9780471940067
eBay Product ID (ePID)
890629

Product Key Features

Number of Pages
402 Pages
Language
English
Publication Name
Formal Methods Fact File : Vdm and Z
Publication Year
1996
Subject
Programming Languages / General, Research
Type
Not Available
Subject Area
Computers, Référence
Author
Andrew Harry
Series
Wiley Series in Software Engineering Practice Ser.
Format
Hardcover

Dimensions

Item Height
1.2 in
Item Weight
35.1 Oz
Item Length
9.5 in
Item Width
7.7 in

Additional Product Features

LCCN
96-028030
Dewey Edition
20
Series Volume Number
26
Illustrated
Yes
Dewey Decimal
005.1/2
Intended Audience
Scholarly & Professional
Lc Classification Number
Qa76.76.D47h39 1996
Table of Content
Why Do We Need Formal Methods?Background Material.Formal Specification Styles.Introduction to Model-Based Languages.VDM.The Z Notation.Formal Semantics.Tool Support.The Future of Formal Methods.Appendices.Solutions to VDM Exercises.Solutions to Z Exercises.Recommended Reading.Glossary.Index.

Artikelbeschreibung des Verkäufers

Info zu diesem Verkäufer

Sellecentric

98,6% positive Bewertungen•759 Artikel verkauft

Mitglied seit Feb 2011
Antwortet meist innerhalb 3 Stunden
Angemeldet als privater VerkäuferDaher finden verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe. Mehr erfahrenMehr erfahren
Shop besuchenKontakt

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten
Genaue Beschreibung
4.9
Angemessene Versandkosten
4.4
Lieferzeit
4.9
Kommunikation
4.9

Verkäuferbewertungen (209)

Alle Bewertungen
Positiv
Neutral
Negativ
  • b***a (610)- Bewertung vom Käufer.
    Letzte 6 Monate
    Bestätigter Kauf
    A++ transaction. Speakers are as described showing the signs of 40 year-old speakers and sound fantastic! Arrived well-packaged. Shipping, while not seller's fault, was slow taking 11 days for a trip that can be as little as 2-3 days. Not the first time lately that eBay shipments have been extraordinary slow considering point of origin and destination. Thanks
    Vintage 1982 Bose 301 Series II DIRECT REFLECTING Bookshelf Speakers ++SOUND (Nr. 276311234991)
  • i***_ (3600)- Bewertung vom Käufer.
    Letzte 6 Monate
    Bestätigter Kauf
    Item as described and shown. Fast shipping and excellent communication. A+ seller.
    VINTAGE SANSUI AU-4900 INTEGRATED AMPLIFIER AU 4900 FOR (PARTS OR REPAIRS AS-IS) (Nr. 277062454252)
  • r***r (2)- Bewertung vom Käufer.
    Letzte 6 Monate
    Bestätigter Kauf
    Item received earlier than expected. Well packaged. Item as described. Excellent service. Thank you!
    Kenmore Pet PowerMate Vacuum Attachment Tool Brush Model 116 C85PDPT1V031 (Nr. 276734799848)
Alle Bewertungen ansehen

Noch mehr entdecken: