Algebraic Foundations of Systems Specification

Sprache: Englisch

Verlag: Springer, Springer Vieweg Okt 2011, 2011

3642641512 / 9783642641510

Serie: Buch 1 von 1 - IFIP State-of-the-Art Reports

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 23. Januar 2017

Softcover

Zustand: Neu

EUR 53,49

EUR 60,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

This item is printed on demand - Print on Demand Titel. Neuware -The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab stract data types and the formal development of first-order applicative pro grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati cally founded in universal algebra, category theory and logic.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 632 pp. Englisch.…

Bestandsnummer des Verkäufers 9783642641510

Titel
Algebraic Foundations of Systems Specification
Autor
Egidio Astesiano
Verlag
Springer, Springer Vieweg Okt 2011
Erscheinungsjahr
2011
Zustand
Neu
Einband
Taschenbuch
Sprache
Englisch
ISBN-10
3642641512
ISBN-13
9783642641510
Artikelgewicht
943 Gramm
Abmessungen
235x155x34 mm
Serie
Buch 1 von 1: IFIP State-of-the-Art Reports

buchversandmimpf2000

Emtmannsberg, BAYE, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 23. Januar 2017

Versandkosten von Deutschland nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 60,00EUR 75,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
  • PayPal
  • Vorauskasse

Shopbeschreibung

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Spezialisierung

Modernes Antiquariat - Bücher von 1960 bis heute

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

buchversandmimpf2000

Deutschland

Impressum

Gesetzliche Anbieterkennung:

Thorsten Retsch
Buchversand Mimpf2000
Oberölschnitz 16
95517 Emtmannsberg
Deutschland
Telefon: 092092023188
E-Mail: order@buchversandmimpf2000.de
USt-IdNr.: DE 235096871

Alternative Streitbeilegung:
Die Europäische Kommission stellt eine Plattform für die außergerichtliche Online-Streitbeilegung (OS-Plattform) bereit, aufrufbar unter http://ec.europa.eu/odr.