Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

CASL Reference Manual

The Complete Documentation of the Common Algebraic Specification Language

Sprache EnglischEnglisch
Buch Broschur
Buch CASL Reference Manual P. D. Mosses
Libristo-Code: 01559194
Verlag Springer, Berlin, November 2003
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common F... Vollständige Beschreibung
? points 249 b
102.69 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Der Staat und die Eigentumsrechte Markus Kobler / Buch Hardcover
common.buy 114.39 €
Liebe am O(h)r Oliver Geisselhart / Buch Broschur
common.buy 11.09 €
Glanz und Elend der altösterreichischen Bürokratie Wolfgang Fritz / Buch Broschur
common.buy 20.67 €
Conversation avec Michel Serres Serres / Buch Broschur
common.buy 12.00 €
Mechanica corporum solidorum 2nd part Leonhard Euler / Buch Hardcover
common.buy 169.28 €

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 reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications. As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name CASL Reference Manual
Autor P. D. Mosses
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2004
Anzahl der Seiten 534
EAN 9783540213017
ISBN 3540213015
Libristo-Code 01559194
Verlag Springer, Berlin
Gewicht 828
Abmessungen 156 x 234 x 28

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Günstig
Environmental, Social, Governance (ESG) Nicola Castellano / Buch Hardcover
common.buy 151.12 €
Marking the Land William A. Lovis / Buch Hardcover
common.buy 244.74 €
Istanbul: 72 Hours in Istanbul -A Smart Swift Guide to Delicious Food, Great Rooms & What to Do in Istanbul, Turkey. Trip Planner Guides / Buch Broschur
common.buy 8.97 €
Top
The Ashes & the Star-Cursed King BROADBENT CARISSA / Buch Broschur
common.buy 9.68 €
Doctor Who: Rose Russell T Davies / Hörbuch MP3
common.buy 9.68 €
Plan of Manuel I and the discovery of Brazil / Buch Broschur
common.buy 24.10 €
The Chico Arms Embargo; The French Peace Plan; Insurance Against War; Facing the Future; Isolation Manley O. Hudson / Buch Broschur
common.buy 23.19 €
It's Up to You!: Why Most People Fail to Live the Life they Want and How to Change It Scott Zarcinas / Buch Broschur
common.buy 19.36 €
Egyptian Pyramids Revisited Moustafa Gadalla / Buch Broschur
common.buy 11.29 €
Latter-Day Saint Biographical Encyclopedia. a Compilation of Biographical Sketches of Prominent Men and Women in the Church of Jesus Christ of Latter- ANDREW JENSON / Buch Hardcover
common.buy 41.45 €
Practical PHP 7, MySQL 8, and MariaDB Website Databases Adrian W. West / Buch Broschur
common.buy 55.68 €
How Can we Improve Students' Participation in peer learning Haile Ademe / Buch Broschur
common.buy 31.97 €
Pluralistic Casuistry Mark J. Cherry / Buch Hardcover
common.buy 114.29 €
Building A Powerful Vision Board: A Path To Achieving Your Goals And What You Want In Life Tess Denton / Buch Broschur
common.buy 9.88 €
Answers Explained: Arriving at the Answers to the COMPASS Math Placement Test Sample Questions Jill Hacker / Buch Broschur
common.buy 14.62 €
Child Care and Development 7th Edition Pamela Minett / Buch Broschur
common.buy 47.61 €
Finley's Reading Log Martha Day Zschock / Buch Broschur
common.buy 8.87 €
Plays and Poems of Henry Glapthorne Henry Glapthorne / Buch Broschur
common.buy 22.79 €
McGraw-Hill Education Essential ESL Dictionary McGraw-Hill Education / Buch Broschur
common.buy 24.51 €
Indian Food and Cooking Mridula Baljekar / Buch Broschur
common.buy 17.54 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?