Menu
Află starea comenzii
Contactați-ne
Carte CASL Reference Manual P. D. Mosses

CASL Reference Manual

The Complete Documentation of the Common Algebraic Specification Language

Autor: P. D. Mosses
Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern în cantități mici
Expediem în 13-18 zile
582.21 lei
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common F...

Informații despre carte

Autor
P. D. Mosses
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2004
Pagini
534
EAN
9783540213017
ISBN
3540213015
Enbook ID
01559194
Editura
Springer, Berlin
Greutate
828
Dimensiuni
156 x 234 x 28

Descriere completă

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.

S-ar putea să te intereseze

Environmental, Social, Governance (ESG)

Nicola Castellano
770.16 lei

Marking the Land

William A. Lovis
1 247.56 lei

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

Trip Planner Guides
45.59 lei

The Ashes & the Star-Cursed King

BROADBENT CARISSA
52.96 lei

Doctor Who: Rose

Russell T Davies
49.32 lei

Plan of Manuel I and the discovery of Brazil

130.03 lei

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

Manley O. Hudson
118.23 lei

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

Scott Zarcinas
98.56 lei

Egyptian Pyramids Revisited

Moustafa Gadalla
57.80 lei

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
223.35 lei

Practical PHP 7, MySQL 8, and MariaDB Website Databases

Adrian W. West
283.58 lei

How Can we Improve Students' Participation in peer learning

Haile Ademe
187.44 lei

Pluralistic Casuistry

Mark J. Cherry
582.21 lei

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

Tess Denton
50.23 lei

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

Jill Hacker
74.34 lei

Child Care and Development 7th Edition

Pamela Minett
255.23 lei

Finley's Reading Log

Martha Day Zschock
45.39 lei

Plays and Poems of Henry Glapthorne

Henry Glapthorne
116.21 lei

McGraw-Hill Education Essential ESL Dictionary

McGraw-Hill Education
124.99 lei

Clienții care au cumpărat această carte au mai cumpărat și

Der Staat und die Eigentumsrechte

Markus Kobler
583.01 lei

Glanz und Elend der altösterreichischen Bürokratie

Wolfgang Fritz
105.22 lei

Conversation avec Michel Serres

Serres
60.92 lei

Mechanica corporum solidorum 2nd part

Leonhard Euler
862.47 lei