«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

CASL Reference Manual

The Complete Documentation of the Common Algebraic Specification Language

Idioma InglésInglés
Libro Tapa blanda
Libro CASL Reference Manual P. D. Mosses
Código Libristo: 01559194
Editores Springer, Berlin, noviembre 2003
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common F... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Der Staat und die Eigentumsrechte Markus Kobler / Libro Tapa dura
common.buy 120.89 €
Liebe am O(h)r Oliver Geisselhart / Libro Tapa blanda
common.buy 12.39 €
Glanz und Elend der altösterreichischen Bürokratie Wolfgang Fritz / Libro Tapa blanda
common.buy 21.99 €
Conversation avec Michel Serres Serres / Libro Tapa blanda
common.buy 12.09 €
Mechanica corporum solidorum 2nd part Leonhard Euler / Libro Tapa dura
common.buy 179.29 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos CASL Reference Manual
Autor P. D. Mosses
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2004
Número de páginas 534
EAN 9783540213017
ISBN 3540213015
Código Libristo 01559194
Editores Springer, Berlin
Peso 828
Dimensiones 156 x 234 x 28

Categorías

Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Económico
Environmental, Social, Governance (ESG) Nicola Castellano / Libro Tapa dura
common.buy 149.79 €
Marking the Land William A. Lovis / Libro Tapa dura
common.buy 242.59 €
Istanbul: 72 Hours in Istanbul -A Smart Swift Guide to Delicious Food, Great Rooms & What to Do in Istanbul, Turkey. Trip Planner Guides / Libro Tapa blanda
common.buy 8.89 €
Popular
The Ashes & the Star-Cursed King BROADBENT CARISSA / Libro Tapa blanda
common.buy 10.99 €
Doctor Who: Rose Russell T Davies / Audiolibro MP3
common.buy 10.29 €
Plan of Manuel I and the discovery of Brazil / Libro Tapa blanda
common.buy 26.69 €
The Chico Arms Embargo; The French Peace Plan; Insurance Against War; Facing the Future; Isolation Manley O. Hudson / Libro Tapa blanda
common.buy 22.99 €
It's Up to You!: Why Most People Fail to Live the Life they Want and How to Change It Scott Zarcinas / Libro Tapa blanda
common.buy 19.19 €
Egyptian Pyramids Revisited Moustafa Gadalla / Libro Tapa blanda
common.buy 11.19 €
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 / Libro Tapa dura
common.buy 45.69 €
Practical PHP 7, MySQL 8, and MariaDB Website Databases Adrian W. West / Libro Tapa blanda
common.buy 55.19 €
How Can we Improve Students' Participation in peer learning Haile Ademe / Libro Tapa blanda
common.buy 35.49 €
Pluralistic Casuistry Mark J. Cherry / Libro Tapa dura
common.buy 118.29 €
Building A Powerful Vision Board: A Path To Achieving Your Goals And What You Want In Life Tess Denton / Libro Tapa blanda
common.buy 9.79 €
Answers Explained: Arriving at the Answers to the COMPASS Math Placement Test Sample Questions Jill Hacker / Libro Tapa blanda
common.buy 14.49 €
Child Care and Development 7th Edition Pamela Minett / Libro Tapa blanda
common.buy 50.59 €
Finley's Reading Log Martha Day Zschock / Libro Tapa blanda
common.buy 8.79 €
Plays and Poems of Henry Glapthorne Henry Glapthorne / Libro Tapa blanda
common.buy 22.59 €
McGraw-Hill Education Essential ESL Dictionary McGraw-Hill Education / Libro Tapa blanda
common.buy 24.29 €
Indian Food and Cooking Mridula Baljekar / Libro Tapa blanda
common.buy 19.39 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?