Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Theoretical Aspects of Computer Software

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Theoretical Aspects of Computer Software Martin Abadi
Libristo kod: 05274737
Nakladnici Springer, Berlin, studeni 1996
This book constitutes the refereed proceedings of the Third International Symposium on Theoretical A... Cijeli opis
? points 249 b
102.59 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

La crisis financiera y la gran recesión en Estados Unidos Saturnino Aguado Sebastián / Knjiga Meki uvez
common.buy 18.33 €
El sueño de África JAVIER REVERTE / Knjiga Meki uvez
common.buy 14.20 €
60 exercices pour booster ma recherche d'emploi d'Estais / Knjiga Meki uvez
common.buy 18.84 €
Meri Kuch Kavitaaen Aur Baaten - 6: Dedicated to Sunny Leone Ullhas Pr / Knjiga Meki uvez
common.buy 7.15 €
Voyages de Montesquieu. Tome 1 MONTESQUIEU-C-L / Knjiga Meki uvez
common.buy 31.03 €
Cervantes y Pasamonte : la réplica cervantina al Quijote de Avellaneda Alfonso Martín Jiménez / Knjiga Meki uvez
common.buy 18.03 €
Zweite Chance des milliardenschweren Cowboys Hope Moore / Knjiga Meki uvez
common.buy 15.51 €
Povoljno
Jak czytać ludzi bez słów Gregory Hartley / Knjiga Meki uvez
common.buy 5.53 €
Accordo preliminare Irina Bukharova / Knjiga Meki uvez
common.buy 39.09 €
Top
CoquinNet MENSINK / Knjiga Meki uvez
common.buy 20.75 €
Bir Noel Sarkisi / Knjiga Meki uvez
common.buy 11.18 €
RÊVERIES DES CABANONS ET DES VIGNES EN PAYS VAROIS Arlette / Knjiga Meki uvez
common.buy 24.08 €
Louise, les raisins de la sagesse, Tome 3 Koehl / Knjiga Meki uvez
common.buy 26.19 €
Extinction Douglas Preston / Knjiga Meki uvez
common.buy 27.30 €
Hledání mateřského stromu Suzanne Simardová / Audio Audio CD
common.buy 11.68 €
LE MONUMENT ELDEN RING ROMIEU SYLVAIN / Knjiga Knjiga
common.buy 34.86 €
Detektiv Nobody's Erlebnisse und Reiseabenteuer Robert Kraft / Knjiga Meki uvez
common.buy 22.26 €
Eltern-Kind-Beziehung im Jugendalter - eine entwicklungspsychologische Betrachtung Anja Dinter / Knjiga Meki uvez
common.buy 16.12 €
Menschen, Tiere und Max Ipke Wachsmuth / Knjiga Tvrdi uvez
common.buy 19.54 €
Zwei außer Rand und Band, 1 DVD Euginio Alabiso / Video DVD
common.buy 12.08 €
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 14.20 €
Die Grafiken und Aufgaben des Buches Mathematik (DVD), 1 DVD-ROM Tilo Arens / Digital Digital DVD
common.buy 10.98 €
Nutzen der Digitalen Fabrik Volker Weiner / Knjiga Meki uvez
common.buy 131.11 €
Memoires d'un artiste Charles Gounod / Knjiga Tvrdi uvez
common.buy 17.83 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Theoretical Aspects of Computer Software
Autor Martin Abadi, Takayasu Ito
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1997
Broj stranica 648
EAN 9783540633884
ISBN 354063388X
Libristo kod 05274737
Nakladnici Springer, Berlin
Težina 980
Dimenzije 156 x 234 x 33

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Algebraic Methodology and Software Technology V. S. Alagar / Knjiga Meki uvez
common.buy 102.59 €
Windows on Literacy Language, Literacy & Vocabulary Early (Social Studies): Food National Geographic Learning / Knjiga Meki uvez
common.buy 15.71 €
Empowered Sarah Banet-Weiser / Knjiga Tvrdi uvez
common.buy 108.03 €
Rolf in the Woods Ernest Thompson Seton / Knjiga Meki uvez
common.buy 12.18 €
Poesía John Keats / Knjiga Meki uvez
common.buy 14.20 €
Warfare in the Ancient Near East to 1600 BC William J. Hamblin / Knjiga Meki uvez
common.buy 67.72 €
Korean Language in Culture and Society Ho-Min Sohn / Knjiga Meki uvez
common.buy 37.18 €
Cannon (John Hall) V. South Carolina U.S. Supreme Court Transcript of Record with Supporting Pleadings Henry W Kirkland / Knjiga Meki uvez
common.buy 25.99 €
Broken Wings Tereza Ciccarini / Knjiga Tvrdi uvez
common.buy 32.54 €
Napoleonic Novels Erckmann-Chatrian / Knjiga Tvrdi uvez
common.buy 38.79 €
Architecture and the Landscape of Modernity in China before 1949 Edward Denison / Knjiga Tvrdi uvez
common.buy 238.84 €
The Forgetting Sharon Cameron / Knjiga Tvrdi uvez
common.buy 15.01 €
Ninety-nine Stories of God Joy Williams / Knjiga Tvrdi uvez
common.buy 15.11 €
Colors! Lynne Dempsey / Knjiga Meki uvez
common.buy 12.08 €
Playland and a Place with the Pigs Athol Fugard / Knjiga Meki uvez
common.buy 9.56 €
Fiction Focus for Writers Jackie Weger / Audio knjiga MP3
common.buy 3.82 €
A Few Facts And Suggestions On Money, Trade, And Banking (1881) Joseph Henry Walker / Knjiga Meki uvez
common.buy 22.06 €
Pro Go Adam Freeman / Knjiga Meki uvez
common.buy 52.30 €
Nation, Class and Resentment Robin Mann / Knjiga Meki uvez
common.buy 79.81 €
Knit Mitts Kate Atherley / Knjiga Meki uvez
common.buy 22.16 €
Using mobile learning to teach creative engineering with PBL pedagogy Yulong Li / Knjiga Meki uvez
common.buy 44.33 €
Ancient Syriac Document Anonymous / Knjiga Meki uvez
common.buy 11.68 €
The Tall Tales of Robert Silverado: Arctic Adventure Matthew R Enlow / Knjiga Meki uvez
common.buy 10.27 €
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 / Knjiga Tvrdi uvez
common.buy 33.45 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?