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.

Theoretical Aspects of Computer Software

Third International Symposium, TACS '97. Sendai, Japan, September 23-26, 1997. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Theoretical Aspects of Computer Software Martin Abadi
Codul Libristo: 05274737
Editura Springer, Berlin, noiembrie 1996
This book constitutes the refereed proceedings of the Third International Symposium on Theoretical A... Descrierea completă
? points 263 b
569.51 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

La crisis financiera y la gran recesión en Estados Unidos Saturnino Aguado Sebastián / Carte Carte broșată
common.buy 91.91 lei
El sueño de África JAVIER REVERTE / Carte Carte broșată
common.buy 70.88 lei
60 exercices pour booster ma recherche d'emploi d'Estais / Carte Carte broșată
common.buy 104.29 lei
Meri Kuch Kavitaaen Aur Baaten - 6: Dedicated to Sunny Leone Ullhas Pr / Carte Carte broșată
common.buy 39.65 lei
Voyages de Montesquieu. Tome 1 MONTESQUIEU-C-L / Carte Carte broșată
common.buy 171.23 lei
Cervantes y Pasamonte : la réplica cervantina al Quijote de Avellaneda Alfonso Martín Jiménez / Carte Carte broșată
common.buy 90.14 lei
Zweite Chance des milliardenschweren Cowboys Hope Moore / Carte Carte broșată
common.buy 85.66 lei
Leftin
Jak czytać ludzi bez słów Gregory Hartley / Carte Carte broșată
common.buy 38.19 lei
Accordo preliminare Irina Bukharova / Carte Carte broșată
common.buy 217.66 lei
Top
CoquinNet MENSINK / Carte Carte broșată
common.buy 113.35 lei
Bir Noel Sarkisi / Carte Carte broșată
common.buy 61.82 lei
RÊVERIES DES CABANONS ET DES VIGNES EN PAYS VAROIS Arlette / Carte Carte broșată
common.buy 131.57 lei
Louise, les raisins de la sagesse, Tome 3 Koehl / Carte Carte broșată
common.buy 143.96 lei
Extinction Douglas Preston / Carte Carte broșată
common.buy 149.79 lei
Hledání mateřského stromu Suzanne Simardová / Audio Audio CD
common.buy 65.47 lei
LE MONUMENT ELDEN RING ROMIEU SYLVAIN / Carte Carte
common.buy 191.63 lei
Detektiv Nobody's Erlebnisse und Reiseabenteuer Robert Kraft / Carte Carte broșată
common.buy 124.18 lei
Eltern-Kind-Beziehung im Jugendalter - eine entwicklungspsychologische Betrachtung Anja Dinter / Carte Carte broșată
common.buy 89.72 lei
Menschen, Tiere und Max Ipke Wachsmuth / Carte Copertă tare
common.buy 108.98 lei
Zwei außer Rand und Band, 1 DVD Euginio Alabiso / Videoclip DVD
common.buy 66.51 lei
Die große Sternenschweif Hörbox Folgen 7-9 (3 Audio CDs). Folge.7-9, 3 Audio-CD Linda Chapman / Audio Audio CD
common.buy 79.73 lei
Die Grafiken und Aufgaben des Buches Mathematik (DVD), 1 DVD-ROM Tilo Arens / Digital DVD digital
common.buy 60.68 lei
Nutzen der Digitalen Fabrik Volker Weiner / Carte Carte broșată
common.buy 730.54 lei
Memoires d'un artiste Charles Gounod / Carte Copertă tare
common.buy 99.71 lei

This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.

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 Theoretical Aspects of Computer Software
Autor Martin Abadi, Takayasu Ito
Limba engleză
Legare Carte - Carte broșată
Data publicării 1997
Număr pagini 648
EAN 9783540633884
ISBN 354063388X
Codul Libristo 05274737
Editura Springer, Berlin
Greutatea 980
Dimensiuni 156 x 234 x 33

Categorii

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

Algebraic Methodology and Software Technology V. S. Alagar / Carte Carte broșată
common.buy 569.51 lei
Windows on Literacy Language, Literacy & Vocabulary Early (Social Studies): Food National Geographic Learning / Carte Carte broșată
common.buy 87.33 lei
Empowered Sarah Banet-Weiser / Carte Copertă tare
common.buy 593.76 lei
Rolf in the Woods Ernest Thompson Seton / Carte Carte broșată
common.buy 68.07 lei
Poesía John Keats / Carte Carte broșată
common.buy 70.88 lei
Warfare in the Ancient Near East to 1600 BC William J. Hamblin / Carte Carte broșată
common.buy 372.24 lei
Korean Language in Culture and Society Ho-Min Sohn / Carte Carte broșată
common.buy 195.48 lei
Cannon (John Hall) V. South Carolina U.S. Supreme Court Transcript of Record with Supporting Pleadings Henry W Kirkland / Carte Carte broșată
common.buy 145.41 lei
Broken Wings Tereza Ciccarini / Carte Copertă tare
common.buy 179.04 lei
Napoleonic Novels Erckmann-Chatrian / Carte Copertă tare
common.buy 204.44 lei
Architecture and the Landscape of Modernity in China before 1949 Edward Denison / Carte Copertă tare
common.buy 1 320.15 lei
The Forgetting Sharon Cameron / Carte Copertă tare
common.buy 83.89 lei
Ninety-nine Stories of God Joy Williams / Carte Copertă tare
common.buy 84.72 lei
Colors! Lynne Dempsey / Carte Carte broșată
common.buy 67.65 lei
Playland and a Place with the Pigs Athol Fugard / Carte Carte broșată
common.buy 53.29 lei
Fiction Focus for Writers Jackie Weger / Audiobook MP3
common.buy 21.22 lei
A Few Facts And Suggestions On Money, Trade, And Banking (1881) Joseph Henry Walker / Carte Carte broșată
common.buy 121.99 lei
Pro Go Adam Freeman / Carte Carte broșată
common.buy 292.61 lei
Nation, Class and Resentment Robin Mann / Carte Carte broșată
common.buy 420.33 lei
Knit Mitts Kate Atherley / Carte Carte broșată
common.buy 128.13 lei
Using mobile learning to teach creative engineering with PBL pedagogy Yulong Li / Carte Carte broșată
common.buy 247.12 lei
Ancient Syriac Document Anonymous / Carte Carte broșată
common.buy 65.05 lei
The Tall Tales of Robert Silverado: Arctic Adventure Matthew R Enlow / Carte Carte broșată
common.buy 57.03 lei
Boerhaave's Materia Medica, or the Druggist's Guide, and the Physician and Apothecary's Table-book. Being a Compleat Account of all Drugs, HERMAN BOERHAAVE / Carte Copertă tare
common.buy 184.45 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?