Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Theoretical Aspects of Computer Software

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Theoretical Aspects of Computer Software Martin Abadi
Libristo-code: 05274737
Uitgeverij Springer, Berlin, november 1996
This book constitutes the refereed proceedings of the Third International Symposium on Theoretical A... Volledige beschrijving
? points 249 b
103.27 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Meri Kuch Kavitaaen Aur Baaten - 6: Dedicated to Sunny Leone Ullhas Pr / Boek Gebonden (paperback)
common.buy 7.19 €
Cervantes y Pasamonte : la réplica cervantina al Quijote de Avellaneda Alfonso Martín Jiménez / Boek Gebonden (paperback)
common.buy 19.06 €
La crisis financiera y la gran recesión en Estados Unidos Saturnino Aguado Sebastián / Boek Gebonden (paperback)
common.buy 19.37 €
60 exercices pour booster ma recherche d'emploi d'Estais / Boek Gebonden (paperback)
common.buy 18.96 €
Voyages de Montesquieu. Tome 1 MONTESQUIEU-C-L / Boek Gebonden (paperback)
common.buy 31.24 €
El sueño de África JAVIER REVERTE / Boek Gebonden (paperback)
common.buy 15.11 €
Normalwerte pocketcard Michael Jakob / Boek Gebonden (paperback)
common.buy 5.67 €
Bir Noel Sarkisi / Boek Gebonden (paperback)
common.buy 11.25 €
Accordo preliminare Irina Bukharova / Boek Gebonden (paperback)
common.buy 39.35 €
Russians in China. Genealogical index (1926-1946). Kirill Chashchin / Boek Gebonden (harde band)
common.buy 71.11 €
Maxi-Pixi-4er-Set 119: Schöne Ferien! (4x1 Exemplar) Diverse / Spel/speelgoed Spel
common.buy 8.61 €
LE MONUMENT ELDEN RING ROMIEU SYLVAIN / Boek Boek
common.buy 36.51 €
Hledání mateřského stromu Suzanne Simardová / Audio Audio cd
common.buy 11.45 €
Biologische Reinigungsmethoden in der Abwasser- und Abfallbehandlung Volker Schmid-Schmieder / Boek Gebonden (paperback)
common.buy 46.66 €
Eltern-Kind-Beziehung im Jugendalter - eine entwicklungspsychologische Betrachtung Anja Dinter / Boek Gebonden (paperback)
common.buy 16.22 €
Voordelig
Jak czytać ludzi bez słów Gregory Hartley / Boek Gebonden (paperback)
common.buy 5.57 €
Dotyky lásky Ladislav Fričovský / Boek Gebonden (paperback)
common.buy 10.64 €
Louise, les raisins de la sagesse, Tome 3 Koehl / Boek Gebonden (paperback)
common.buy 27.28 €
TOP
CoquinNet MENSINK / Boek Gebonden (paperback)
common.buy 21.50 €
NUEVO TESTAMENTO. B.T.I Desconocido / Boek Gebonden (paperback)
common.buy 9.22 €
La construcción de la interioridad en el orientalismo arquitectónico Mauricio Baros / Boek Gebonden (paperback)
common.buy 52.64 €
ODISEA HOMERO / Boek Gebonden (harde band)
common.buy 23.73 €
Zwei außer Rand und Band, 1 DVD Euginio Alabiso / Video Dvd
common.buy 12.47 €
EinFach Deutsch Unterrichtsmodelle Urs Widmer / Boek Gebonden (paperback)
common.buy 34.79 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Theoretical Aspects of Computer Software
Auteur Martin Abadi, Takayasu Ito
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1997
Aantal pagina's 648
EAN 9783540633884
ISBN 354063388X
Libristo-code 05274737
Uitgeverij Springer, Berlin
Gewicht 980
Afmetingen 156 x 234 x 33

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Algebraic Methodology and Software Technology V. S. Alagar / Boek Gebonden (paperback)
common.buy 103.27 €
Windows on Literacy Language, Literacy & Vocabulary Early (Social Studies): Food National Geographic Learning / Boek Gebonden (paperback)
common.buy 15.82 €
Rolf in the Woods Ernest Thompson Seton / Boek Gebonden (paperback)
common.buy 12.67 €
Empowered Sarah Banet-Weiser / Boek Gebonden (harde band)
common.buy 108.75 €
Knit Mitts Kate Atherley / Boek Gebonden (paperback)
common.buy 24.34 €
Future Is Smart W David Stephenson / Boek Gebonden (harde band)
common.buy 23.12 €
A Comedic Guide to Money Colin Ryan / Boek Gebonden (paperback)
common.buy 17.85 €
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 / Boek Gebonden (harde band)
common.buy 33.67 €
The Tall Tales of Robert Silverado: Arctic Adventure Matthew R Enlow / Boek Gebonden (paperback)
common.buy 10.34 €
How To Hire & Manage Market Research Agencies Kathryn Korostoff / Boek Gebonden (paperback)
common.buy 17.54 €
Ancient Syriac Document Anonymous / Boek Gebonden (paperback)
common.buy 11.76 €
Using mobile learning to teach creative engineering with PBL pedagogy Yulong Li / Boek Gebonden (paperback)
common.buy 44.63 €
More Christmas Piano Solos for All Piano Methods, Level 4 [With CD (Audio)] Hal Leonard Publishing Corporation / Boek Gebonden (paperback)
common.buy 11.76 €
Nation, Class and Resentment Robin Mann / Boek Gebonden (paperback)
common.buy 84.40 €
Poesía John Keats / Boek Gebonden (paperback)
common.buy 15.11 €
Playland and a Place with the Pigs Athol Fugard / Boek Gebonden (paperback)
common.buy 9.63 €
Colors! Lynne Dempsey / Boek Gebonden (paperback)
common.buy 12.16 €
Ninety-nine Stories of God Joy Williams / Boek Gebonden (harde band)
common.buy 16.22 €
The Forgetting Sharon Cameron / Boek Gebonden (harde band)
common.buy 17.64 €
Architecture and the Landscape of Modernity in China before 1949 Edward Denison / Boek Gebonden (harde band)
common.buy 240.33 €
Here We Are: Book of Opposites Oliver Jeffers / Boek Leporello (harmonicaboek)
common.buy 8.41 €
TOP
Dasher and the Polar Bear Matt Tavares / Boek Gebonden (harde band)
common.buy 13.89 €
The Very Hungry Caterpillar's Very First Earth Encyclopedia DK / Boek Gebonden (harde band)
common.buy 21.29 €
Spider-gwen: Shadow Clones Emily Kim / Boek Gebonden (paperback)
common.buy 17.13 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?