Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

CASL User Manual

Introduction to Using the Common Algebraic Specification Language CASL

Език Английски езикАнглийски език
Книга С меки корици
Книга CASL User Manual M. Bidoit
Код Либристо: 01558927
Издателство Springer, Berlin, ноември 2003
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common F... Цялото описание
? points 132 b
54.41 €
106.41  лв
Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Léčivé rostliny / Книга С меки корици
common.buy 10.39 € 20.32 лв
LIBRO DE HORAS KEVIN YOUNG (LINCOLN / Книга С меки корици
common.buy 23.48 € 45.92 лв
L'Univers. France, Dictionnaire Encyclopedique. Tome 12, Rep-Zuy LE BAS-P / Книга С меки корици
common.buy 55.44 € 108.43 лв
Harry Potter Figurka 20 cm / Игра/играчка Играчка
common.buy 21.67 € 42.38 лв
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 / Книга С меки корици
common.buy 24.05 € 47.03 лв
Foundations of Software Testing ISTQB Certification van Veenendaal/Black/Graham E-книга Adobe ePub DRM
common.buy 57.72 € 112.88 лв
Genetica e ingegneria genetica Dr. Ben Raj / Книга С меки корици
common.buy 41.48 € 81.12 лв
Großer Lernwortschatz Business English aktuell Barry Baddock / Книга С твърди корици
common.buy 35.06 € 68.57 лв
Anwendungssystem-Planung Im Grossunternehmen Martin Hölz / Книга С меки корици
common.buy 49.85 € 97.51 лв
Ramon Llull JOSEP BATALLA / Книга С меки корици
common.buy 22.70 € 44.40 лв
Dramatische werken Henrik Ibsen / Книга С меки корици
common.buy 21.77 € 42.58 лв
Pferdefuß und Himmelsglück Carmen Paul / Книга С твърди корици
common.buy 14.27 € 27.91 лв
Wildling, 1 Blu-ray Fritz Böhm / Видео Blu-ray
common.buy 15.51 € 30.34 лв
Beim nächsten Mann wird alles anders Eva Heller / Книга С твърди корици
common.buy 20.94 € 40.96 лв
Fürst Bismarck unter drei Kaisern 1884 - 1888 Hermann Robolsky / Книга С меки корици
common.buy 37.75 € 73.84 лв
Systema Legal de Medidas Joaquim Jos E Da Gra a / Книга С меки корици
common.buy 20.01 € 39.14 лв
Con la mirada puesta en Dios : re-descubriendo la liturgia con Benedicto XVI Juan José Silvestre Valor / Книга С меки корици
common.buy 25.39 € 49.66 лв
Acidose-LymphGymnastik Rosemarie Holzer / Книга С твърди корици
common.buy 18.61 € 36.41 лв
Philippe Albert Stapfer Une Biographie Adolf Rohr / Книга С твърди корици
common.buy 132.87 € 259.87 лв
Sartre Nathalie Monin / Книга С меки корици
common.buy 29.99 € 58.66 лв
Liderar para el bien común Luis Huete / Книга С меки корици
common.buy 24.72 € 48.34 лв
Hermeneutik literarischer Sinnlichkeit Lothar Van Laak / Книга С твърди корици
common.buy 125.42 € 245.30 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие CASL User Manual
Автор M. Bidoit, P. D. Mosses
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2004
Брой страници 246
Баркод 9783540207665
ISBN 354020766X
Код Либристо 01558927
Издателство Springer, Berlin
Тегло 410
Размери 156 x 234 x 13

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Spectral Analysis on Graph-like Spaces Olaf Post / Книга С меки корици
common.buy 70.70 € 138.27 лв
Lift Like a Girl: Be More, Not Less. Nia Shanks / Книга С меки корици
common.buy 17.79 € 34.79 лв
Computer Immune System for Intrusion and Virus Detection - Adaptive Detection Mechanisms and their Implementation Markus Unterleitner / Книга С меки корици
common.buy 70.85 € 138.58 лв
PBG based Terahertz Antenna for Aerospace Applications Balamati Choudhury / Книга С меки корици
common.buy 54.41 € 106.41 лв
Secrets of Bella Terra Christina Dodd / Книга С меки корици
common.buy 13.18 € 25.79 лв
Budge: What Happened to Canada's King of Film? Barbara Wade Rose / Книга С меки корици
common.buy 13.55 € 26.49 лв
Gace English 020, 021 Practice Test 1 Sharon Wynne / Книга С меки корици
common.buy 12.10 € 23.66 лв
9 Traits of a Life-Giving Marriage Sue Detweiler / Книга С меки корици
common.buy 12.82 € 25.08 лв
Froggy's Baby Sister Jonathan London / Книга С меки корици
common.buy 19.60 € 38.33 лв
In Your New Image GRAHAM ANDREWS / Книга С меки корици
common.buy 20.22 € 39.54 лв
Twelve Lectures on the Structure of the Central Nervous System Ludwig Edinger / Книга С меки корици
common.buy 20.89 € 40.86 лв
King James Bible Word Search (Psalms): 100 Word Search Puzzles with 250 Encouraging Psalms Puzzlefast / Книга С меки корици
common.buy 13.08 € 25.58 лв
The Mental Handbook: The Guidebook to Approaching Sports & Life With a Bulletproof Mindset Dre Baldwin / Книга С меки корици
common.buy 19.29 € 37.72 лв
Eve of the Damned: De Omori - The Return of the Vampire Trilogy Book I David Basnett / Книга С меки корици
common.buy 16.65 € 32.56 лв
WOD Handbook - 3rd Edition PETER KEEBLE / Книга С твърди корици
common.buy 34.39 € 67.26 лв
Psychopharmacologists D Healy / Книга С твърди корици
common.buy 266.15 € 520.55 лв
The Wizard's Dessert Cookbook: Magical Recipes Inspired by Harry Potter, the Hobbit, Fantastic Beasts, the Chronicles of Narnia, and More Aurelia Beaupommier / Книга С твърди корици
common.buy 19.44 € 38.03 лв
Time in Exile: In Conversation with Heidegger, Blanchot, and Lispector Marcia Sá Cavalcante Schuback / Книга С твърди корици
common.buy 114.30 € 223.55 лв
Particularites de l'Heritage Residentiel ALEXEJ MAXUROW / Книга С меки корици
common.buy 34.03 € 66.55 лв
Practical guide to political marketing Francois Simon Pierre Ngan Tonye / Книга С меки корици
common.buy 31.18 € 60.99 лв
Big Busy Barbershop: Year 1, Weeks 1 through 52 Ivan Zoot / Книга С меки корици
common.buy 23.84 € 46.62 лв
Parkinson's Law 50minutes / Книга С меки корици
common.buy 14.37 € 28.11 лв
Code of Practice for Electric Vehicle Charging Equipment Installation The Institution of Engineering and Technology / Книга С меки корици
common.buy 127.59 € 249.55 лв
Wolf Packs Lisa Bullard / Книга С меки корици
common.buy 10.18 € 19.92 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?