Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Recent Trends in Data Type Specification

8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Recent Trends in Data Type Specification Michel Bidoit
Libristo kód: 02092610
Nakladatelství Springer, Berlin, listopad 1992
The algebraic specification of abstract data types has been a flourishing research topic in computer... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Ich entdecke die Emotionen - Color Monster / Hra/Hračka Hra
common.buy 644 Kč
Der Traum des Apothekers von Locarno Max Frisch / Kniha Brožovaná
common.buy 289 Kč
Sistemas Quanticos em Cavidade Efeito Casimir Dinamico e Emaranhamento Granhen Edney / Kniha Brožovaná
common.buy 1 257 Kč
Kultur-Kuriosa. Bd.1 Max Kemmerich / Kniha Brožovaná
common.buy 813 Kč
Kompetenztest Biologie 2 Hans-Jürgen Seitz / Kniha List
common.buy 416 Kč
Sozialisierung der Landwirtschaft Karl Kautsky / Kniha Brožovaná
common.buy 570 Kč
Die weisen Frauen der Cherokee Joyce Sequichie Hifler / Kniha Pevná
common.buy 711 Kč
Wissensmanagement als Aufgabe des Personalmanagements Martin Weinberg / Kniha Brožovaná
common.buy 389 Kč
Die Dunkle Seite Des Mondes Martin Suter / Kniha Brožovaná
common.buy 309 Kč
Gott, Trinitat und Geist Jan Rohls / Kniha Brožovaná
common.buy 3 382 Kč

The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974.The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with theThird COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are:- specification languages and program development- algebraic specification of concurrency- theorem proving- object-oriented specifications- order-sorted algebras- abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Recent Trends in Data Type Specification
Autor Michel Bidoit, Christine Choppy
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1993
Počet stran 346
EAN 9783540563792
ISBN 3540563792
Libristo kód 02092610
Nakladatelství Springer, Berlin
Váha 474
Rozměry 155 x 233 x 19

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Počítačová bezpečnost > Šifrování dat
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Maximum power point tracker (MPPT) based photovoltaic (PV) water pumping system using AC and DC motors Rehan Jamil / Kniha Brožovaná
common.buy 975 Kč
A GLANCE AT LATIN AMERICAN CIVILIZATION FRANCISCO JAV Y NES / Kniha Pevná
common.buy 619 Kč
Soldiers Die Aaron Grunn / Kniha Brožovaná
common.buy 525 Kč
An Assessment of Corporate Social Responsibility Initiatives Joash Onyonka / Kniha Brožovaná
common.buy 1 115 Kč
Top
Grimm's Complete Fairy Tales (Barnes & Noble Collectible Classics: Omnibus Edition) Brothers Grimm / Kniha Pevná
common.buy 893 Kč
Some Wild Things Bill Jones / Kniha Pevná
common.buy 813 Kč
Marlena's Journal Marlena Fearing / Kniha Brožovaná
common.buy 358 Kč
Social Life of the Chinese Professor Justus Doolittle / Kniha Brožovaná
common.buy 619 Kč
History of Barn Elms and the Kit-Cat Club Now the Ranelagh Club ... Second Edition. [With Illustrations.] C J Barrett / Kniha Brožovaná
common.buy 615 Kč
Analysis of Biomarker Data - A Practical Guide Joseph L. Hagan / Kniha Pevná
common.buy 3 182 Kč
Encyclopedia of Language N.E. Collinge / Kniha Pevná
common.buy 13 087 Kč
To Know You Shannon Ethridge / Kniha Brožovaná
common.buy 355 Kč
Chomsky's Challenge to American Power Anthony F. Greco / Kniha Brožovaná
common.buy 1 087 Kč
Připravujeme
Art, Performance and Ritual in Benin City Charles Gore / Kniha Pevná
common.buy 2 702 Kč
Peacekeeping in Africa Marco Wyss / Kniha Brožovaná
common.buy 1 740 Kč
Rise of the Chinese Militray Power Ralph L. Powell / Kniha Brožovaná
common.buy 1 298 Kč
Early Childhood Education Cathy Nutbrown & Peter Clough / Kniha Brožovaná
common.buy 746 Kč
Designing and Proposing Your Research Project Jennifer Brown Urban / Kniha Brožovaná
common.buy 975 Kč
Hellspawn Odyssey Ricky Fleet / Kniha Brožovaná
common.buy 299 Kč
Adventure Giorgio (Accademia di Architettura di Mendrisio) Agamben / Kniha Pevná
common.buy 252 Kč
Revival: Children in the Nursery School (1928) Johnson / Kniha Pevná
common.buy 7 355 Kč
Fractals in Graz 2001 Peter Grabner / Kniha Pevná
common.buy 2 827 Kč
Learn vietnamese - 150 words with pronunciations - Beginner: Picture book for bilingual kids Goose and Books / Kniha Brožovaná
common.buy 339 Kč
Lonely Planet Shanghai Damian Harper et al / Kniha Brožovaná
common.buy 696 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?