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 Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Recent Trends in Data Type Specification

Fifth Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987. Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Recent Trends in Data Type Specification Donald Sanella
Codul Libristo: 02092589
Editura Springer, Berlin
The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane,... Descrierea completă
? points 132 b
284.70 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Creative Sound Play for Young Learners Hayes Greenfield / Carte Carte broșată
common.buy 263.72 lei
Nou
Ich kämpfte zehn Jahre zwischen den Dimensionen und kehrte als Legende zurück 17 Ezo Gingitune / Carte Carte broșată
common.buy 40.71 lei
Leftin
Columbo 01 (pilotní) - DVD pošeta / Videoclip DVD
common.buy 6.53 lei
Historia de Las Cruzadas (1858) Joseph Francois Michaud / Carte Carte broșată
common.buy 178.65 lei
Taxi: Taxi Cab Alex Summers / Carte Carte broșată
common.buy 72.70 lei
Actas del III Seminario de Investigación en Tecnologías de la Información aplicadas a la Educación : celebrado en mayo-junio 2009, en Madrid Seminario de Investigación en Tecnologías de la Información aplicadas a la Educación / Carte Carte broșată
common.buy 98.46 lei
Parlato Nella Scrittura Italiana Odierna Angela Ferrari / Carte Carte broșată
common.buy 589.67 lei
Alles über Katzen Pierre Rousselet-Blanc / Carte Copertă tare
common.buy 84.54 lei

The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974. The main goal of work in this area is to evolve a methodology to support the design and formal development of reliable software. The particular approach taken builds upon concepts from universal algebra and elementary category theory. The core of this work has now stabilized to a great extent and is mature enough to find application in real-life software engineering and to related topics such as concurrency, databases, and even hardware design. Such applications are becoming more feasible because of the emergence of integrated specification/development environments which include tools such as theorem provers based on fast term rewriting engines. Researchers are also exploring ways of widening the scope of the theory to make it applicable to (for example) higher-order functions and non-deterministic programs. Another trend is toward taking a more general view which allows superficially different approaches having the same general aims and methods to be unified.

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 Recent Trends in Data Type Specification
Autor Donald Sanella, Andrzej Tarlecki
Limba engleză
Legare Carte - Carte broșată
Număr pagini 268
EAN 9783540503255
ISBN 3540503250
Codul Libristo 02092589
Editura Springer, Berlin
Greutatea 446
Dimensiuni 156 x 234 x 14

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 science
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

The Lady's Country Companion: Or How To Enjoy A Country Life Rationally (1852) Jane Loudon / Carte Carte broșată
common.buy 210.02 lei
Charade: The Covid Lies That Crushed a Nation Marcus / Carte Carte broșată
common.buy 87.14 lei
The Writings of Cassius Marcellus Clay: Including Speeches and Addresses (1848) Cassius Marcellus Clay / Carte Carte broșată
common.buy 235.99 lei
Halloween Coloring Book: For Adults and Kids A Fun Stress Free Activity Featuring Spooky Character Designs to Color - Witches, Jack-O-Lanterns, Endless Journals / Carte Carte broșată
common.buy 46.94 lei
Digital Entrepreneurship in Africa Nicolas Friederici / E-book Adobe ePub DRM
common.buy 277.33 lei
The Complete Herbal Tutor Anne Mcintyre / Carte Carte broșată
common.buy 279.72 lei
Mind, Business, and Success STANTISHA KEMP / Carte Carte broșată
common.buy 116.53 lei
Sustainable Retrofitting of Commercial Buildings Simon Burton / E-book Adobe ePub DRM
common.buy 397.82 lei
Centipedes Margo Gates / Carte Copertă tare
common.buy 180.83 lei
Petrographical Tables; An Aid to the Microscopical Determination of Rock-Froming Minerals Harry Rosenbusch / Carte Copertă tare
common.buy 147.70 lei
Wire in the College Classroom Naomi Crummey / Carte Carte broșată
common.buy 224.56 lei
Economic Openness and Territorial Politics in China Yumin Sheng / Carte Carte broșată
common.buy 263.41 lei
Virtual Technologies for Business and Industrial Applications N. Raghavendra Rao / Carte Copertă tare
common.buy 1 029.36 lei
Visitor's Guide to the Kitt Peak Observatories Leslie Sage / Carte Carte broșată
common.buy 132.63 lei
Women Writers in the Romantic Age Liwanag Hüttenmüller / Carte Carte broșată
common.buy 89.53 lei
Odes and Carmen Saeculare of Horace orace / Carte Carte broșată
common.buy 74.57 lei
Current Advances in Coconut Biotechnology C. Oropeza / Carte Carte broșată
common.buy 1 134.79 lei
Ke hopola Nkgono (Sesotho) Dianne Stewart / Carte Carte broșată
common.buy 30.94 lei
Constructions of Widowhood and Virginity in the Middle Ages Cindy L. Carlson / Carte Copertă tare
common.buy 585.72 lei
Some Corner of a Foreign Field Roger Williamson / Carte Carte broșată
common.buy 632.26 lei
Selling the Sixties Robin Chapman / Carte Carte broșată
common.buy 365.72 lei
House Where Charlie Lived Miller / Carte Copertă tare
common.buy 164.42 lei
112 Secrets of Highly Creative Women Journal Gail McMeekin / Carte Copertă tare
common.buy 77.69 lei
Colonial Identity in the Atlantic World, 1500-1800 Nicholas Canny / Carte Carte broșată
common.buy 475.83 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?