Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

CASL Reference Manual

The Complete Documentation of the Common Algebraic Specification Language

Language EnglishEnglish
Book Paperback
Book CASL Reference Manual P. D. Mosses
Libristo code: 01559194
Publishers Springer, Berlin, November 2003
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common F... Full description
? points 271 b
39 520 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Der Staat und die Eigentumsrechte Markus Kobler / Book Hardback
common.buy 40 500 Ft
Liebe am O(h)r Oliver Geisselhart / Book Paperback
common.buy 4 322 Ft
Glanz und Elend der altösterreichischen Bürokratie Wolfgang Fritz / Book Paperback
common.buy 7 313 Ft
Conversation avec Michel Serres Serres / Book Paperback
common.buy 4 248 Ft
Mechanica corporum solidorum 2nd part Leonhard Euler / Book Hardback
common.buy 59 922 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name CASL Reference Manual
Author P. D. Mosses
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 534
EAN 9783540213017
ISBN 3540213015
Libristo code 01559194
Publishers Springer, Berlin
Weight 828
Dimensions 156 x 234 x 28

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Affordable
Environmental, Social, Governance (ESG) Nicola Castellano / Book Hardback
common.buy 53 502 Ft
Marking the Land William A. Lovis / Book Hardback
common.buy 88 866 Ft
Istanbul: 72 Hours in Istanbul -A Smart Swift Guide to Delicious Food, Great Rooms & What to Do in Istanbul, Turkey. Trip Planner Guides / Book Paperback
common.buy 3 268 Ft
Top
The Ashes & the Star-Cursed King BROADBENT CARISSA / Book Paperback
common.buy 3 825 Ft
Doctor Who: Rose Russell T Davies / Audiobook MP3
common.buy 3 442 Ft
Plan of Manuel I and the discovery of Brazil / Book Paperback
common.buy 9 324 Ft
The Chico Arms Embargo; The French Peace Plan; Insurance Against War; Facing the Future; Isolation Manley O. Hudson / Book Paperback
common.buy 8 436 Ft
It's Up to You!: Why Most People Fail to Live the Life they Want and How to Change It Scott Zarcinas / Book Paperback
common.buy 7 032 Ft
Egyptian Pyramids Revisited Moustafa Gadalla / Book Paperback
common.buy 4 128 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 / Book Hardback
common.buy 15 998 Ft
Practical PHP 7, MySQL 8, and MariaDB Website Databases Adrian W. West / Book Paperback
common.buy 20 388 Ft
How Can we Improve Students' Participation in peer learning Haile Ademe / Book Paperback
common.buy 12 403 Ft
Pluralistic Casuistry Mark J. Cherry / Book Hardback
common.buy 41 550 Ft
Building A Powerful Vision Board: A Path To Achieving Your Goals And What You Want In Life Tess Denton / Book Paperback
common.buy 3 590 Ft
Answers Explained: Arriving at the Answers to the COMPASS Math Placement Test Sample Questions Jill Hacker / Book Paperback
common.buy 5 325 Ft
Child Care and Development 7th Edition Pamela Minett / Book Paperback
common.buy 17 719 Ft
Finley's Reading Log Martha Day Zschock / Book Paperback
common.buy 3 268 Ft
Plays and Poems of Henry Glapthorne Henry Glapthorne / Book Paperback
common.buy 8 349 Ft
McGraw-Hill Education Essential ESL Dictionary McGraw-Hill Education / Book Paperback
common.buy 8 988 Ft
Indian Food and Cooking Mridula Baljekar / Book Paperback
common.buy 6 788 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account