Temporal logic in specification : proceedings, Altrincham, UK, April 8-10, 1987.

Sprache: Englisch

Verlag: Springer, 1989

3540518037 / 9783540518037

  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, NiederlandeKloof Booksellers & Scientia Verlag

Verkäufer/-in mit 4 Sternen

AbeBooks-Verkäufer/-in seit 7. Oktober 1999

Verbandsmitglied: NVVAILAB

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Gebraucht - Gut

EUR 31,95

EUR 30,00 Versand 
Versand von Niederlande nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Berlin : Springer, 1989. Paperback. vi, 448 pp. Library stamp. (Lecture notes in computer science ; 398). - The "Temporal Logic in Specification" conference, held in Altrincham, UK, from April 8-10, 1987, focused on the use of temporal logic in the specification of systems. The conference brought together researchers working on formal methods, software engineering, and system design. Key discussions revolved around how temporal logic can be applied to describe dynamic aspects of systems, such as time constraints, state transitions, and behavioral requirements. Contributions explored both theoretical advancements and practical applications, from automated verification to system modeling. This work significantly influenced the development of formal specification techniques, particularly in the design of safety-critical systems and distributed systems, providing tools to model complex, time-dependent behaviors. Condition : very good copy. ISBN 9783540518037. Keywords : COMPUTER SCIENCE, temporal logic automated verification formal methods. …

Bestandsnummer des Verkäufers 304099

Titel
Temporal logic in specification : proceedings, Altrincham, UK, April 8-10, 1987.
Autor
Banieqbal, Behnam; Howard Barringer & A. Pnueli (eds.)
Verlag
Springer
Veröffentlichungsjahr
1989
Zustand
very good
Einband
Softcover
Sprache
Englisch
ISBN-10
3540518037
ISBN-13
9783540518037

Kloof Booksellers & Scientia Verlag

Amsterdam, Niederlande

Verkäufer/-in mit 4 Sternen

AbeBooks-Verkäufer/-in seit 7. Oktober 1999

Verbandsmitglied:

Versandkosten von Niederlande nach USA

Artikel14 bis 60 Werktage7 bis 15 Werktage
Erster ArtikelEUR 30,00EUR 65,00
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.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Rechnung
  • Vorauskasse

Shop-Beschreibung

In business since 1923 we are specialized in law, philosophy and other scholarly books from the 16th - 20th century. We also carry a general stock and we have permanently in stock ca. 60.000 titles. Visit only by appointment. Member of ILAB and the NVVA, the Dutch Antiquarian Booksellers Association.

Spezialisierung

Art, Sociology, Economics, History, Medicine, Science, Philosophy, Law

Verbandsmitglied

  • The Nederlandsche Vereeniging van Antiquaren
  • International League of Antiquarian Booksellers
Die Mitglieder dieser Verbände haben sich verpflichtet, die höchsten Standards einzuhalten. Sie verbürgen sich für die Echtheit aller zum Verkauf angebotenen Artikel. Sie liefern fachkundige und detaillierte Beschreibungen, legen alle wesentlichen Mängel und/oder Restaurierungen offen, bieten klare und genaue Preisangaben und arbeiten während des Kaufprozesses fair und ehrlich.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Kloof Booksellers & Scientia Verlag

Niederlande