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.

Theory and Formal Methods 1993

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993

Limba englezăengleză
Carte Carte broșată
Carte Theory and Formal Methods 1993 Geoffrey Burn
Codul Libristo: 02006905
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 1993
The Theory and Formal Methods Section of the Imperial College Department of Computing has an interna... Descrierea completă
? points 132 b
285.10 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Mein Sylt - Ein Tagebuch Hans Bethge / Carte Carte broșată
common.buy 148.52 lei
Vnitřní lékařství I Pavel Klener / Carte Carte broșată
common.buy 56.22 lei
NieR:Automata Opération Pearl Harbor - Tome 3 Yoko Taro / Carte Carte broșată
common.buy 58.61 lei
O Princípio de Peter Alva Silva / Carte Carte broșată
common.buy 75.35 lei
3343OT GREOUX LES BAINS RIANS PNR DU VERDON / Materiale tipărite Hartă
common.buy 101.75 lei
El Rosario, la oración de la familia. CUADRADO TAPIA / Carte Carte broșată
common.buy 60.17 lei
Rien dans la nuit que des fantômes Chanelle Benz / Carte Carte broșată
common.buy 137.61 lei
Espíritu y naturaleza GREGORY BATESON / Audio Audio CD
common.buy 109.75 lei
Fuhrung auf Distanz Gerald Resch / Carte Carte broșată
common.buy 313.89 lei
Nekonečný příběh Michael Ende / Audio Audio CD
common.buy 71.40 lei
Los Poderes Psiquicos de Las Mascotas Richard Webster / Carte Carte broșată
common.buy 53.41 lei
DIETA PALEO Para TRIATLON: Forme de su cuerpo Una Maquina de Maximo Rendimiento Mariana Correa / Carte Carte broșată
common.buy 105.18 lei
La vega del Parnaso. Tomo II / Carte Carte broșată
common.buy 177.73 lei

The Theory and Formal Methods Section of the Imperial College Department of Computing has an international reputation for research into the foundations of computer science, and the application of this theory to real computing problems. In March 1993 it held the first in a proposed series of workshops on theory and formal methods at the Isle of Thorns Conference Centre in Sussex, UK. Almost every member of the section contributed to the workshop, thereby providing comprehensive coverage of the work being done by this important research group. This volume contains revised versions of the papers presented at the workshop. They cover four main areas - semantics, concurrency, logic, and specification - with some papers spanning a variety of disciplines. The papers fall into two main categories: review papers which provide the reader with a good introduction to some of the specific areas being studied by the section, and research papers which give details of the latest results in these areas.

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 Theory and Formal Methods 1993
Autor Geoffrey Burn, Simon Gay, Mark Ryan
Limba engleză
Legare Carte - Carte broșată
Data publicării 1993
Număr pagini 329
EAN 9783540198420
ISBN 3540198423
Codul Libristo 02006905
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 570
Dimensiuni 155 x 235 x 19

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Topological Methods in Data Analysis and Visualization Valerio Pascucci / Carte Copertă tare
common.buy 568.64 lei
Understanding the Tin Man William July / Carte Carte broșată
common.buy 73.16 lei
Top
Encyclopedia of Mythical Creatures - Greek and Roman Mythology Ziggy Quinete / Carte Copertă tare
common.buy 305.88 lei
GAME OF FAMILIA V02 V02 / Carte Carte broșată
common.buy 63.60 lei
Top
City of Saints and Madmen Jeff VanderMeer / Carte Carte broșată
common.buy 99.98 lei
A Treatise on Biblical Criticism Exhibiting a Systematic View of That Science Samuel Davidson / Carte Carte broșată
common.buy 147.79 lei
International Guide to Legal Deposit Jan T. Jasion / Carte Copertă tare
common.buy 958.62 lei
God Function: Deus Ex Grammatica MORGAN A. BROWN / Carte Carte broșată
common.buy 214.31 lei
It's Fun To Speak French Lillian J Bragdon / Carte Carte broșată
common.buy 137.40 lei
Royal School Series. Notes of Lessons on Moral Subjects FRED. W. HACKWOOD / Carte Carte broșată
common.buy 120.56 lei
Injury Val Tobin / Carte Carte broșată
common.buy 81.58 lei
Unexpected Gifts Ariana Gaynor / Carte Carte broșată
common.buy 56.95 lei
The Phallus: The 17th-Century Manual on the Art of Concealment Alain Danielou / Carte Carte broșată
common.buy 133.76 lei
Essais - Livre Second Michel de Montaigne / Carte Carte broșată
common.buy 66.82 lei
Where Is Home? Anneros Valensi / Carte Carte broșată
common.buy 73.37 lei
Culmshire Folk. [A Novel.] Fuller / Carte Carte broșată
common.buy 148.00 lei
Complete Sayings Hazrat Inayat Khan / Carte Carte broșată
common.buy 121.81 lei
Self-Made Scoundrel (the Valley of Ten Crescents #2) Tristan J. Tarwater / Carte Carte broșată
common.buy 76.39 lei
Impact of a Uniform Formulary on Military Health System Prescribers Terri Tanielian / Carte Carte broșată
common.buy 146.54 lei
Discrete Mathematics for Computing Peter Grossman / Carte Carte broșată
common.buy 500.46 lei
Genossenschaften als Chancen fur Kommunen Roland Thomas N Bauer / Carte Carte broșată
common.buy 188.33 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?