«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 User Manual

Introduction to Using the Common Algebraic Specification Language CASL

Idioma InglésInglés
Libro Tapa blanda
Libro CASL User Manual M. Bidoit
Código Libristo: 01558927
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 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Léčivé rostliny / Libro Tapa blanda
common.buy 10.49 €
LIBRO DE HORAS KEVIN YOUNG (LINCOLN / Libro Tapa blanda
common.buy 21.69 €
L'Univers. France, Dictionnaire Encyclopedique. Tome 12, Rep-Zuy LE BAS-P / Libro Tapa blanda
common.buy 56.59 €
Harry Potter Figurka 20 cm / Juego/Juguete Juguete
common.buy 21.79 €
Compendio de la Historia de la Filosofia, escrito por encargo del Supremo Gobierno, para servir de texto en los institutos de Segunda Enseñanza de la Valero Pujol / Libro Tapa blanda
common.buy 24.89 €
Foundations of Software Testing ISTQB Certification van Veenendaal/Black/Graham Libro electrónico Adobe ePub DRM
common.buy 58.09 €
Genetica e ingegneria genetica Dr. Ben Raj / Libro Tapa blanda
common.buy 43.29 €
Großer Lernwortschatz Business English aktuell Barry Baddock / Libro Tapa dura
common.buy 35.29 €
Anwendungssystem-Planung Im Grossunternehmen Martin Hölz / Libro Tapa blanda
common.buy 51.89 €
Ramon Llull JOSEP BATALLA / Libro Tapa blanda
common.buy 21.89 €
Dramatische werken Henrik Ibsen / Libro Tapa blanda
common.buy 22.79 €
Pferdefuß und Himmelsglück Carmen Paul / Libro Tapa dura
common.buy 14.89 €
Wildling, 1 Blu-ray Fritz Böhm / Video Blu-ray
common.buy 16.09 €
Beim nächsten Mann wird alles anders Eva Heller / Libro Tapa dura
common.buy 21.89 €
Fürst Bismarck unter drei Kaisern 1884 - 1888 Hermann Robolsky / Libro Tapa blanda
common.buy 39.39 €
Systema Legal de Medidas Joaquim Jos E Da Gra a / Libro Tapa blanda
common.buy 20.99 €
Con la mirada puesta en Dios : re-descubriendo la liturgia con Benedicto XVI Juan José Silvestre Valor / Libro Tapa blanda
common.buy 23.39 €
Acidose-LymphGymnastik Rosemarie Holzer / Libro Tapa dura
common.buy 19.39 €
Philippe Albert Stapfer Une Biographie Adolf Rohr / Libro Tapa dura
common.buy 137.89 €
Sartre Nathalie Monin / Libro Tapa blanda
common.buy 28.89 €
Liderar para el bien común Luis Huete / Libro Tapa blanda
common.buy 22.69 €
Hermeneutik literarischer Sinnlichkeit Lothar Van Laak / Libro Tapa dura
common.buy 130.19 €

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 book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages. The main part of the book explains CASL specifications, with chapters on loose, generated and free specifications, partial functions, sub- and supersorts, structuring specifications, genericity and reusability, architectural specifications, and version control. The final chapters deal with tool support and libraries, and present a realistic case study involving the standard benchmark for comparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specification and library index. A separate, complementary LNCS volume contains the CASL Reference 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 User Manual
Autor M. Bidoit, P. D. Mosses
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2004
Número de páginas 246
EAN 9783540207665
ISBN 354020766X
Código Libristo 01558927
Editores Springer, Berlin
Peso 410
Dimensiones 156 x 234 x 13

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

Spectral Analysis on Graph-like Spaces Olaf Post / Libro Tapa blanda
common.buy 73.49 €
Lift Like a Girl: Be More, Not Less. Nia Shanks / Libro Tapa blanda
common.buy 18.49 €
Computer Immune System for Intrusion and Virus Detection - Adaptive Detection Mechanisms and their Implementation Markus Unterleitner / Libro Tapa blanda
common.buy 73.49 €
PBG based Terahertz Antenna for Aerospace Applications Balamati Choudhury / Libro Tapa blanda
common.buy 56.59 €
Secrets of Bella Terra Christina Dodd / Libro Tapa blanda
common.buy 13.79 €
Budge: What Happened to Canada's King of Film? Barbara Wade Rose / Libro Tapa blanda
common.buy 14.29 €
Gace English 020, 021 Practice Test 1 Sharon Wynne / Libro Tapa blanda
common.buy 12.69 €
9 Traits of a Life-Giving Marriage Sue Detweiler / Libro Tapa blanda
common.buy 13.49 €
Froggy's Baby Sister Jonathan London / Libro Tapa blanda
common.buy 20.59 €
In Your New Image GRAHAM ANDREWS / Libro Tapa blanda
common.buy 20.99 €
Twelve Lectures on the Structure of the Central Nervous System Ludwig Edinger / Libro Tapa blanda
common.buy 21.79 €
King James Bible Word Search (Psalms): 100 Word Search Puzzles with 250 Encouraging Psalms Puzzlefast / Libro Tapa blanda
common.buy 13.59 €
The Mental Handbook: The Guidebook to Approaching Sports & Life With a Bulletproof Mindset Dre Baldwin / Libro Tapa blanda
common.buy 20.09 €
Eve of the Damned: De Omori - The Return of the Vampire Trilogy Book I David Basnett / Libro Tapa blanda
common.buy 17.29 €
WOD Handbook - 3rd Edition PETER KEEBLE / Libro Tapa dura
common.buy 36.49 €
Psychopharmacologists D Healy / Libro Tapa dura
common.buy 274.79 €
The Wizard's Dessert Cookbook: Magical Recipes Inspired by Harry Potter, the Hobbit, Fantastic Beasts, the Chronicles of Narnia, and More Aurelia Beaupommier / Libro Tapa dura
common.buy 20.49 €
Time in Exile: In Conversation with Heidegger, Blanchot, and Lispector Marcia Sá Cavalcante Schuback / Libro Tapa dura
common.buy 117.79 €
Particularites de l'Heritage Residentiel ALEXEJ MAXUROW / Libro Tapa blanda
common.buy 35.49 €
Practical guide to political marketing Francois Simon Pierre Ngan Tonye / Libro Tapa blanda
common.buy 32.59 €
Big Busy Barbershop: Year 1, Weeks 1 through 52 Ivan Zoot / Libro Tapa blanda
common.buy 24.79 €
Parkinson's Law 50minutes / Libro Tapa blanda
common.buy 14.99 €
Code of Practice for Electric Vehicle Charging Equipment Installation The Institution of Engineering and Technology / Libro Tapa blanda
common.buy 128.49 €
Wolf Packs Lisa Bullard / Libro Tapa blanda
common.buy 10.59 €

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?