Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

CASL User Manual

Introduction to Using the Common Algebraic Specification Language CASL

Limba englezăengleză
Carte Carte broșată
Carte CASL User Manual M. Bidoit
Codul Libristo: 01558927
Editura Springer, Berlin, noiembrie 2003
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common F... Descrierea completă
? points 132 b
284.97 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Léčivé rostliny / Carte Carte broșată
common.buy 54.33 lei
LIBRO DE HORAS KEVIN YOUNG (LINCOLN / Carte Carte broșată
common.buy 117.49 lei
L'Univers. France, Dictionnaire Encyclopedique. Tome 12, Rep-Zuy LE BAS-P / Carte Carte broșată
common.buy 267.62 lei
Harry Potter Figurka 20 cm / Joc / Jucărie Jucărie
common.buy 113.34 lei
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 / Carte Carte broșată
common.buy 131.94 lei
Foundations of Software Testing ISTQB Certification van Veenendaal/Black/Graham E-book Adobe ePub DRM
common.buy 291.62 lei
Genetica e ingegneria genetica Dr. Ben Raj / Carte Carte broșată
common.buy 217.23 lei
Großer Lernwortschatz Business English aktuell Barry Baddock / Carte Copertă tare
common.buy 174.32 lei
Anwendungssystem-Planung Im Grossunternehmen Martin Hölz / Carte Carte broșată
common.buy 260.87 lei
Ramon Llull JOSEP BATALLA / Carte Carte broșată
common.buy 113.55 lei
Dramatische werken Henrik Ibsen / Carte Carte broșată
common.buy 113.96 lei
Pferdefuß und Himmelsglück Carmen Paul / Carte Copertă tare
common.buy 78.12 lei
Wildling, 1 Blu-ray Fritz Böhm / Videoclip Blu-ray
common.buy 81.34 lei
Beim nächsten Mann wird alles anders Eva Heller / Carte Copertă tare
common.buy 109.70 lei
Fürst Bismarck unter drei Kaisern 1884 - 1888 Hermann Robolsky / Carte Carte broșată
common.buy 197.70 lei
Systema Legal de Medidas Joaquim Jos E Da Gra a / Carte Carte broșată
common.buy 111.16 lei
Con la mirada puesta en Dios : re-descubriendo la liturgia con Benedicto XVI Juan José Silvestre Valor / Carte Carte broșată
common.buy 127.16 lei
Acidose-LymphGymnastik Rosemarie Holzer / Carte Copertă tare
common.buy 97.34 lei
Philippe Albert Stapfer Une Biographie Adolf Rohr / Carte Copertă tare
common.buy 695.56 lei
Sartre Nathalie Monin / Carte Carte broșată
common.buy 149.91 lei
Liderar para el bien común Luis Huete / Carte Carte broșată
common.buy 123.52 lei
Hermeneutik literarischer Sinnlichkeit Lothar Van Laak / Carte Copertă tare
common.buy 656.60 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet CASL User Manual
Autor M. Bidoit, P. D. Mosses
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 246
EAN 9783540207665
ISBN 354020766X
Codul Libristo 01558927
Editura Springer, Berlin
Greutatea 410
Dimensiuni 156 x 234 x 13

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Spectral Analysis on Graph-like Spaces Olaf Post / Carte Carte broșată
common.buy 370.16 lei
Lift Like a Girl: Be More, Not Less. Nia Shanks / Carte Carte broșată
common.buy 97.75 lei
Computer Immune System for Intrusion and Virus Detection - Adaptive Detection Mechanisms and their Implementation Markus Unterleitner / Carte Carte broșată
common.buy 388.97 lei
PBG based Terahertz Antenna for Aerospace Applications Balamati Choudhury / Carte Carte broșată
common.buy 284.97 lei
Secrets of Bella Terra Christina Dodd / Carte Carte broșată
common.buy 73.13 lei
Budge: What Happened to Canada's King of Film? Barbara Wade Rose / Carte Carte broșată
common.buy 89.96 lei
Gace English 020, 021 Practice Test 1 Sharon Wynne / Carte Carte broșată
common.buy 67.31 lei
9 Traits of a Life-Giving Marriage Sue Detweiler / Carte Carte broșată
common.buy 71.37 lei
Froggy's Baby Sister Jonathan London / Carte Carte broșată
common.buy 126.12 lei
In Your New Image GRAHAM ANDREWS / Carte Carte broșată
common.buy 110.95 lei
Twelve Lectures on the Structure of the Central Nervous System Ludwig Edinger / Carte Carte broșată
common.buy 109.29 lei
King James Bible Word Search (Psalms): 100 Word Search Puzzles with 250 Encouraging Psalms Puzzlefast / Carte Carte broșată
common.buy 71.78 lei
The Mental Handbook: The Guidebook to Approaching Sports & Life With a Bulletproof Mindset Dre Baldwin / Carte Carte broșată
common.buy 106.17 lei
Eve of the Damned: De Omori - The Return of the Vampire Trilogy Book I David Basnett / Carte Carte broșată
common.buy 91.52 lei
WOD Handbook - 3rd Edition PETER KEEBLE / Carte Copertă tare
common.buy 170.48 lei
Psychopharmacologists D Healy / Carte Copertă tare
common.buy 1 455.03 lei
The Wizard's Dessert Cookbook: Magical Recipes Inspired by Harry Potter, the Hobbit, Fantastic Beasts, the Chronicles of Narnia, and More Aurelia Beaupommier / Carte Copertă tare
common.buy 108.35 lei
Time in Exile: In Conversation with Heidegger, Blanchot, and Lispector Marcia Sá Cavalcante Schuback / Carte Copertă tare
common.buy 623.77 lei
Particularites de l'Heritage Residentiel ALEXEJ MAXUROW / Carte Carte broșată
common.buy 178.06 lei
Practical guide to political marketing Francois Simon Pierre Ngan Tonye / Carte Carte broșată
common.buy 163.31 lei
Big Busy Barbershop: Year 1, Weeks 1 through 52 Ivan Zoot / Carte Carte broșată
common.buy 131.31 lei
Top
Parkinson's Law 50minutes / Carte Carte broșată
common.buy 75.31 lei
Code of Practice for Electric Vehicle Charging Equipment Installation The Institution of Engineering and Technology / Carte Carte broșată
common.buy 667.93 lei
Wolf Packs Lisa Bullard / Carte Carte broșată
common.buy 46.74 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?