Zurück zur Startseite
|Eingestellt in Kategorie:

Bild 1 von 1

Spezifizierende Systeme: Die TLA+ Sprache und Tools für Hardware- und Software-Engine - Bild 1 von 1
Ähnlichen Artikel verkaufen?
Selbst verkaufen

Spezifizierende Systeme: Die TLA+ Sprache und Tools für Hardware- und Software-Engine

bookaxis2015
(35559)
Angemeldet als gewerblicher Verkäufer
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
£27,46
Ca.CHF 30,21
Artikelzustand:
Neu
2 verfügbar1 verkauft
Wurde auch von anderen Nutzern gekauft. Schon 1 verkauft.
Ganz entspannt. Rückgaben akzeptiert.
Versand:
£12,99 (ca. CHF 14,29) Royal Mail International Standard.
Standort: Southport, Vereinigtes Königreich
Lieferung:
Lieferung zwischen Sa, 28. Jun und Sa, 12. Jul nach 94104 bei heutigem Zahlungseingang
Liefertermine - wird in neuem Fenster oder Tab geöffnet berücksichtigen die Bearbeitungszeit des Verkäufers, die PLZ des Artikelstandorts und des Zielorts sowie den Annahmezeitpunkt und sind abhängig vom gewählten Versandservice und dem ZahlungseingangZahlungseingang - wird ein neuem Fenster oder Tab geöffnet. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
Verkäufer verschickt innerhalb von 3 Tagen nach Zahlungseingang.
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
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
Angebot melden - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:126839863079
Zuletzt aktualisiert am 12. Jun. 2025 09:13:14 MESZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand
Neu: Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte ...
Book Title
Specifying Systems: The TLA+ Language and Tools for Hardware and
ISBN
9780321143068

Über dieses Produkt

Product Information

This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. Leslie Lamport, the creator of the LaTeX typesetting system, shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioral properties of a system-what that system is allowed to do. The emphasis here is on safety properties. The second part of Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers covers more advanced topics, including liveness and fairness, real time properties, and composition. The book's final two parts provide a complete reference manual for the TLA+ language and tools, as well as a handy mini-manual.

Product Identifiers

Publisher
Pearson Education (Us)
ISBN-13
9780321143068
eBay Product ID (ePID)
86549521

Product Key Features

Number of Pages
384 Pages
Publication Name
Specifying Systems: the Tla+ Language and Tools for Hardware and Software Engineers
Language
English
Subject
Computer Science
Publication Year
2002
Type
Textbook
Author
Leslie Lamport
Format
Paperback

Dimensions

Item Height
230 mm
Item Weight
635 g
Item Width
190 mm

Additional Product Features

Country/Region of Manufacture
United States
Title_Author
Leslie Lamport

Artikelbeschreibung des Verkäufers

Rechtliche Informationen des Verkäufers

USt-IdNr.: GB 186452776
Info zu diesem Verkäufer

bookaxis2015

99,5% positive Bewertungen•116 Tsd. Artikel verkauft

Mitglied seit Mär 2015
Angemeldet als gewerblicher Verkäufer
Shop besuchenKontakt

Detaillierte Verkäuferbewertungen

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

Beliebte Kategorien in diesem Shop

Alle ansehenKategorien
ArtBusiness & EconomicsComputersEducationGamesLawPhilosophyPhotographyPolitical Science

Verkäuferbewertungen (37'744)

Alle Bewertungen
Positiv
Neutral
Negativ
    • Automatische Bewertung von eBay- Bewertung vom Käufer.
      Letzter Monat
      Bestellung erfolgreich durchgeführt - mit Sendungsverfolgung und fristgerecht
    Alle Bewertungen ansehen

    Noch mehr entdecken: