Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka CASL Reference Manual P. D. Mosses

CASL Reference Manual

The Complete Documentation of the Common Algebraic Specification Language

Autor: P. D. Mosses
Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
424.83 zł
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common F...

Informacje o książce

Autor
P. D. Mosses
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2004
strony
534
EAN
9783540213017
ISBN
3540213015
Enbook ID
01559194
Wydawca
Springer, Berlin
Waga
828
Wymiary
156 x 234 x 28

Pełny opis

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.

Możesz być zainteresowany

Environmental, Social, Governance (ESG)

Nicola Castellano
624.95 zł

Marking the Land

William A. Lovis
969.31 zł

Istanbul: 72 Hours in Istanbul -A Smart Swift Guide to Delicious Food, Great Rooms & What to Do in Istanbul, Turkey.

Trip Planner Guides
35.25 zł

The Ashes & the Star-Cursed King

BROADBENT CARISSA
40.23 zł

Doctor Who: Rose

Russell T Davies
40.03 zł

Plan of Manuel I and the discovery of Brazil

99.51 zł

The Chico Arms Embargo; The French Peace Plan; Insurance Against War; Facing the Future; Isolation

Manley O. Hudson
91.50 zł

It's Up to You!: Why Most People Fail to Live the Life they Want and How to Change It

Scott Zarcinas
75.97 zł

Egyptian Pyramids Revisited

Moustafa Gadalla
44.62 zł

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
171.69 zł

Practical PHP 7, MySQL 8, and MariaDB Website Databases

Adrian W. West
216.51 zł

How Can we Improve Students' Participation in peer learning

Haile Ademe
132.43 zł

Pluralistic Casuistry

Mark J. Cherry
472.40 zł

Building A Powerful Vision Board: A Path To Achieving Your Goals And What You Want In Life

Tess Denton
38.67 zł

Answers Explained: Arriving at the Answers to the COMPASS Math Placement Test Sample Questions

Jill Hacker
57.42 zł

Child Care and Development 7th Edition

Pamela Minett
197.27 zł

Finley's Reading Log

Martha Day Zschock
34.56 zł

Plays and Poems of Henry Glapthorne

Henry Glapthorne
88.67 zł

McGraw-Hill Education Essential ESL Dictionary

McGraw-Hill Education
95.41 zł

Indian Food and Cooking

Mridula Baljekar
72.75 zł

Klienci, którzy kupili tę książkę, kupili również

Der Staat und die Eigentumsrechte

Markus Kobler
473.08 zł

Liebe am O(h)r

Oliver Geisselhart
45.89 zł

Glanz und Elend der altösterreichischen Bürokratie

Wolfgang Fritz
85.35 zł

Conversation avec Michel Serres

Serres
49.41 zł

Mechanica corporum solidorum 2nd part

Leonhard Euler
699.76 zł