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
103.16 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Meri Kuch Kavitaaen Aur Baaten - 6: Dedicated to Sunny Leone Ullhas Pr / Knjiga Meki uvez
common.buy 7.19 €
Cervantes y Pasamonte : la réplica cervantina al Quijote de Avellaneda Alfonso Martín Jiménez / Knjiga Meki uvez
common.buy 18.23 €
La crisis financiera y la gran recesión en Estados Unidos Saturnino Aguado Sebastián / Knjiga Meki uvez
common.buy 18.54 €
60 exercices pour booster ma recherche d'emploi d'Estais / Knjiga Meki uvez
common.buy 18.94 €
Voyages de Montesquieu. Tome 1 MONTESQUIEU-C-L / Knjiga Meki uvez
common.buy 31.20 €
El sueño de África JAVIER REVERTE / Knjiga Meki uvez
common.buy 14.48 €
Normalwerte pocketcard Michael Jakob / Knjiga Meki uvez
common.buy 5.67 €
Bir Noel Sarkisi / Knjiga Meki uvez
common.buy 11.24 €
Accordo preliminare Irina Bukharova / Knjiga Meki uvez
common.buy 39.31 €
Russians in China. Genealogical index (1926-1946). Kirill Chashchin / Knjiga Tvrdi uvez
common.buy 71.03 €
Maxi-Pixi-4er-Set 119: Schöne Ferien! (4x1 Exemplar) Diverse / Igra/Igračka Igra
common.buy 8.60 €
LE MONUMENT ELDEN RING ROMIEU SYLVAIN / Knjiga Knjiga
common.buy 34.85 €
Hledání mateřského stromu Suzanne Simardová / Audio Audio CD
common.buy 11.44 €
Biologische Reinigungsmethoden in der Abwasser- und Abfallbehandlung Volker Schmid-Schmieder / Knjiga Meki uvez
common.buy 44.48 €
Eltern-Kind-Beziehung im Jugendalter - eine entwicklungspsychologische Betrachtung Anja Dinter / Knjiga Meki uvez
common.buy 16.21 €
Povoljno
Jak czytać ludzi bez słów Gregory Hartley / Knjiga Meki uvez
common.buy 5.56 €
Dotyky lásky Ladislav Fričovský / Knjiga Meki uvez
common.buy 10.12 €
Louise, les raisins de la sagesse, Tome 3 Koehl / Knjiga Meki uvez
common.buy 26.04 €
Top
CoquinNet MENSINK / Knjiga Meki uvez
common.buy 20.56 €
NUEVO TESTAMENTO. B.T.I Desconocido / Knjiga Meki uvez
common.buy 9.21 €
La construcción de la interioridad en el orientalismo arquitectónico Mauricio Baros / Knjiga Meki uvez
common.buy 52.59 €
ODISEA HOMERO / Knjiga Tvrdi uvez
common.buy 22.69 €
Zwei außer Rand und Band, 1 DVD Euginio Alabiso / Video DVD
common.buy 12.05 €
EinFach Deutsch Unterrichtsmodelle Urs Widmer / Knjiga Meki uvez
common.buy 34.75 €

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 103.16 €
Windows on Literacy Language, Literacy & Vocabulary Early (Social Studies): Food National Geographic Learning / Knjiga Meki uvez
common.buy 15.80 €
Rolf in the Woods Ernest Thompson Seton / Knjiga Meki uvez
common.buy 12.66 €
Empowered Sarah Banet-Weiser / Knjiga Tvrdi uvez
common.buy 108.63 €
Knit Mitts Kate Atherley / Knjiga Meki uvez
common.buy 22.89 €
Future Is Smart W David Stephenson / Knjiga Tvrdi uvez
common.buy 21.78 €
A Comedic Guide to Money Colin Ryan / Knjiga Meki uvez
common.buy 17.83 €
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.64 €
The Tall Tales of Robert Silverado: Arctic Adventure Matthew R Enlow / Knjiga Meki uvez
common.buy 10.33 €
How To Hire & Manage Market Research Agencies Kathryn Korostoff / Knjiga Meki uvez
common.buy 17.52 €
Ancient Syriac Document Anonymous / Knjiga Meki uvez
common.buy 11.75 €
Using mobile learning to teach creative engineering with PBL pedagogy Yulong Li / Knjiga Meki uvez
common.buy 44.58 €
More Christmas Piano Solos for All Piano Methods, Level 4 [With CD (Audio)] Hal Leonard Publishing Corporation / Knjiga Meki uvez
common.buy 11.04 €
Nation, Class and Resentment Robin Mann / Knjiga Meki uvez
common.buy 80.26 €
Poesía John Keats / Knjiga Meki uvez
common.buy 14.48 €
Playland and a Place with the Pigs Athol Fugard / Knjiga Meki uvez
common.buy 9.62 €
Colors! Lynne Dempsey / Knjiga Meki uvez
common.buy 12.15 €
Ninety-nine Stories of God Joy Williams / Knjiga Tvrdi uvez
common.buy 15.19 €
The Forgetting Sharon Cameron / Knjiga Tvrdi uvez
common.buy 17.62 €
Architecture and the Landscape of Modernity in China before 1949 Edward Denison / Knjiga Tvrdi uvez
common.buy 240.08 €
Here We Are: Book of Opposites Oliver Jeffers / Knjiga Leporelo
common.buy 8.40 €
Top
Dasher and the Polar Bear Matt Tavares / Knjiga Tvrdi uvez
common.buy 13.87 €
The Very Hungry Caterpillar's Very First Earth Encyclopedia DK / Knjiga Tvrdi uvez
common.buy 21.27 €
Spider-gwen: Shadow Clones Emily Kim / Knjiga Meki uvez
common.buy 16.10 €

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