CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900, Band 2900)

Bidoit, Michel und D. Mosses Peter:

ISBN 10: 354020766X ISBN 13: 9783540207665

Verlag: Springer, 2008

Sprache: Englisch

Zustand: Gebraucht - Gut Softcover

F�r sp�ter vormerken

Verkauft von Studibuch, Stuttgart, Deutschland

AbeBooks-Verk�ufer seit 24. April 2018

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Gebraucht - Gut

Preis: EUR 25,87 W�hrung umrechnen

Kostenlos f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

260 Seiten; 9783540207665.3 Gewicht in Gramm: 500.

Bestandsnummer des Verk�ufers 928160

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900, Band 2900)

Verlag

Springer

Erscheinungsjahr

2008

Sprache

Englisch

ISBN-10

354020766X

ISBN-13

9783540207665

Einband

paperback

Zustand

Gut

Gewicht

500 Gramm

Verk�uferkataloge

Varia

�ber diesen Titel

Inhaltsangabe

Rese�a del editor

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks.

This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages. The main part of the book explains CASL specifications, with chapters on loose, generated and free specifications, partial functions, sub- and supersorts, structuring specifications, genericity and reusability, architectural specifications, and version control. The final chapters deal with tool support and libraries, and present a realistic case study involving the standard benchmark for comparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specification and library index.

A separate, complementary LNCS volume contains the CASL Reference Manual.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Studibuch ist ein Onlineshop f�r Studien- und Fachb�cher. Bei uns bekommst Du gebrauchte und gut erhaltene Fachliteratur zu fairen Preisen. B�cher mehrmals zu verwenden bedeutet, knappe Ressourcen nachhaltig zu nutzen. Durch deinen Einkauf bei Studibuch entsteht eine Wertekette, die vollst�ndig auf nachhaltiges Wirtschaften ausgerichtet ist und ein Zeichen gegen die Wegwerfmentalit�t setzt. Wenn Du selbst noch gebrauchte Fachb�cher hast, die Du nicht mehr ben�tigst dann kannst Du sie auf Studibuch.de verkaufen. Mit Deinem Verkauf bei Studibuch schaffst Du Platz im Regal und kannst den Verkaufserl�s f�r ein neues Fachbuch nutzen. Der Verkauf funktioniert ganz einfach. Du gibst die ISBN oder den Buchtitel auf unserer Seite ein oder scannst mit der kostenlosen Studibuch App den Barcode des Buches. Jetzt fehlt nur noch eine Angabe zum Zustand und dann wird Dir direkt der Verkaufspreis genannt. Nachdem Du alle B�cher eingegeben hast, kannst Du �ber einen Link Deinen Paketschein ausdrucken und die B�cher an uns versenden. Nach Eintreffen der B�cher erh�ltst Du garantiert innerhalb von drei Werktagen Dein Geld.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Studibuch GmbH
Neue Weinsteige 69, Stuttgart, 70180, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

� 1 Geltungsbereich
(1) Diese allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen der Studibuch GmbH und ihren Kunden �ber physische Produkte (z.B. B�cher, CDs) und Dienstleistungen �ber s�mtliche von Studibuch bereitgestellten Kan�le, z.B. Webshop, Applikationen (im Folgenden: App)
(2) Die allgemeinen Gesch�ftsbedingungen gelten in der jeweiligen, zum Zeitpunkt des Vertragsschlusses aktuellen Fassung. Je nach Endger�t des Kunden kann dieses Dokument ausgedruckt und/od...

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Au�erhalb Deutschlands versenden wir mit Versicherung bis 50 EUR (bei Paketen bis 2kg). Zus�tzlich mit Sendungsverfolgungsnummer.

Achtung! R�cksendungen bei Annahmeverweigerung oder nicht erfolgter Abholung
Sendungen, die aufgrund einer Annahmeverweigerung durch den Kunden oder wegen nicht rechtzeitiger Abholung beim Versanddienstleister an uns zur�ckgesendet werden, gelten nicht als regul�re R�cksendungen im Rahmen des Widerrufsrechts. In solchen F�llen behalten wir uns vor, eine pauschale Bearbeitungs- und R�cksendegeb�hr vom zu erstattenden Kaufpreis abzuziehen.

Die Geb�hren setzen sich aus Bearbeitungsgeb�hr und R�cksendekosten zusammen und betragen:

F�r R�cksendungen innerhalb Deutschlands: 4,90 €
F�r R�cksendungen aus dem Ausland: 12,90 €
Die Summe der Geb�hren wird automatisch bei der R�ckerstattung verrechnet.**

Versandkosten innerhalb von Deutschland

Versandkosten innerhalb von Deutschland
Bestellmenge	2 bis 4�Werktage	2 bis 4�Werktage
Erster Artikel	EUR 0.00	EUR 3.99

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.

Impressum & Info zum Verk�ufer