Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv CASL Reference Manual P. D. Mosses

CASL Reference Manual

The Complete Documentation of the Common Algebraic Specification Language

Szerző: P. D. Mosses
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer, Berlin
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
38 334 Ft
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common F...

Információk a könyvről

Szerző
P. D. Mosses
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2004
oldal
534
EAN
9783540213017
ISBN
3540213015
Enbook ID
01559194
Kiadó
Springer, Berlin
Súly
828
Méretek
156 x 234 x 28

Teljes leírás

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.

Érdekelheti

Environmental, Social, Governance (ESG)

Nicola Castellano
51 897 Ft

Marking the Land

William A. Lovis
86 200 Ft

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

Trip Planner Guides
3 170 Ft

The Ashes & the Star-Cursed King

BROADBENT CARISSA
3 710 Ft

Doctor Who: Rose

Russell T Davies
3 339 Ft

Plan of Manuel I and the discovery of Brazil

9 045 Ft

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

Manley O. Hudson
8 183 Ft

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

Scott Zarcinas
6 821 Ft

Egyptian Pyramids Revisited

Moustafa Gadalla
4 004 Ft

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
15 518 Ft

Practical PHP 7, MySQL 8, and MariaDB Website Databases

Adrian W. West
19 777 Ft

How Can we Improve Students' Participation in peer learning

Haile Ademe
12 031 Ft

Pluralistic Casuistry

Mark J. Cherry
40 303 Ft

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

Tess Denton
3 482 Ft

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

Jill Hacker
5 165 Ft

Child Care and Development 7th Edition

Pamela Minett
17 187 Ft

Finley's Reading Log

Martha Day Zschock
3 170 Ft

Plays and Poems of Henry Glapthorne

Henry Glapthorne
8 098 Ft

McGraw-Hill Education Essential ESL Dictionary

McGraw-Hill Education
8 719 Ft

Indian Food and Cooking

Mridula Baljekar
6 585 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Der Staat und die Eigentumsrechte

Markus Kobler
39 285 Ft

Liebe am O(h)r

Oliver Geisselhart
4 192 Ft

Glanz und Elend der altösterreichischen Bürokratie

Wolfgang Fritz
7 094 Ft

Conversation avec Michel Serres

Serres
4 121 Ft

Mechanica corporum solidorum 2nd part

Leonhard Euler
58 124 Ft