Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Theoretical Aspects of Computer Software

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

Sprache EnglischEnglisch
Buch Broschur
Buch Theoretical Aspects of Computer Software Martin Abadi
Libristo-Code: 05274737
Verlag Springer, Berlin, November 1996
This book constitutes the refereed proceedings of the Third International Symposium on Theoretical A... Vollständige Beschreibung
? points 263 b
107.29 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

La crisis financiera y la gran recesión en Estados Unidos Saturnino Aguado Sebastián / Buch Broschur
common.buy 19.99 €
El sueño de África JAVIER REVERTE / Buch Broschur
common.buy 15.59 €
60 exercices pour booster ma recherche d'emploi d'Estais / Buch Broschur
common.buy 19.69 €
Meri Kuch Kavitaaen Aur Baaten - 6: Dedicated to Sunny Leone Ullhas Pr / Buch Broschur
common.buy 7.49 €
Voyages de Montesquieu. Tome 1 MONTESQUIEU-C-L / Buch Broschur
common.buy 32.29 €
Cervantes y Pasamonte : la réplica cervantina al Quijote de Avellaneda Alfonso Martín Jiménez / Buch Broschur
common.buy 19.69 €
Zweite Chance des milliardenschweren Cowboys Hope Moore / Buch Broschur
common.buy 16.09 €
Günstig
Jak czytać ludzi bez słów Gregory Hartley / Buch Broschur
common.buy 5.49 €
Accordo preliminare Irina Bukharova / Buch Broschur
common.buy 40.99 €
Top
CoquinNet MENSINK / Buch Broschur
common.buy 22.49 €
Bir Noel Sarkisi / Buch Broschur
common.buy 11.59 €
RÊVERIES DES CABANONS ET DES VIGNES EN PAYS VAROIS Arlette / Buch Broschur
common.buy 26.09 €
Louise, les raisins de la sagesse, Tome 3 Koehl / Buch Broschur
common.buy 28.39 €
Extinction Douglas Preston / Buch Broschur
common.buy 29.69 €
Hledání mateřského stromu Suzanne Simardová / Audio Audio CD
common.buy 12.99 €
LE MONUMENT ELDEN RING ROMIEU SYLVAIN / Buch Buch
common.buy 37.79 €
Detektiv Nobody's Erlebnisse und Reiseabenteuer Robert Kraft / Buch Broschur
common.buy 24.90 €
Eltern-Kind-Beziehung im Jugendalter - eine entwicklungspsychologische Betrachtung Anja Dinter / Buch Broschur
common.buy 17.95 €
Menschen, Tiere und Max Ipke Wachsmuth / Buch Hardcover
common.buy 21.69 €
Zwei außer Rand und Band, 1 DVD Euginio Alabiso / Video DVD
common.buy 13.19 €
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 16.99 €
Die Grafiken und Aufgaben des Buches Mathematik (DVD), 1 DVD-ROM Tilo Arens / Digital Digital DVD
common.buy 12.09 €
Nutzen der Digitalen Fabrik Volker Weiner / Buch Broschur
common.buy 148.00 €
Memoires d'un artiste Charles Gounod / Buch Hardcover
common.buy 18.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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Theoretical Aspects of Computer Software
Autor Martin Abadi, Takayasu Ito
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1997
Anzahl der Seiten 648
EAN 9783540633884
ISBN 354063388X
Libristo-Code 05274737
Verlag Springer, Berlin
Gewicht 980
Abmessungen 156 x 234 x 33

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Algebraic Methodology and Software Technology V. S. Alagar / Buch Broschur
common.buy 107.29 €
Windows on Literacy Language, Literacy & Vocabulary Early (Social Studies): Food National Geographic Learning / Buch Broschur
common.buy 16.49 €
Empowered Sarah Banet-Weiser / Buch Hardcover
common.buy 111.89 €
Rolf in the Woods Ernest Thompson Seton / Buch Broschur
common.buy 12.79 €
Poesía John Keats / Buch Broschur
common.buy 15.59 €
Warfare in the Ancient Near East to 1600 BC William J. Hamblin / Buch Broschur
common.buy 70.19 €
Korean Language in Culture and Society Ho-Min Sohn / Buch Broschur
common.buy 40.49 €
Cannon (John Hall) V. South Carolina U.S. Supreme Court Transcript of Record with Supporting Pleadings Henry W Kirkland / Buch Broschur
common.buy 27.39 €
Broken Wings Tereza Ciccarini / Buch Hardcover
common.buy 33.69 €
Napoleonic Novels Erckmann-Chatrian / Buch Hardcover
common.buy 42.39 €
Architecture and the Landscape of Modernity in China before 1949 Edward Denison / Buch Hardcover
common.buy 238.69 €
The Forgetting Sharon Cameron / Buch Hardcover
common.buy 15.79 €
Ninety-nine Stories of God Joy Williams / Buch Hardcover
common.buy 16.99 €
Colors! Lynne Dempsey / Buch Broschur
common.buy 12.69 €
Playland and a Place with the Pigs Athol Fugard / Buch Broschur
common.buy 10.09 €
Fiction Focus for Writers Jackie Weger / Hörbuch MP3
common.buy 4.19 €
A Few Facts And Suggestions On Money, Trade, And Banking (1881) Joseph Henry Walker / Buch Broschur
common.buy 22.99 €
Pro Go Adam Freeman / Buch Broschur
common.buy 55.19 €
Nation, Class and Resentment Robin Mann / Buch Broschur
common.buy 87.19 €
Knit Mitts Kate Atherley / Buch Broschur
common.buy 23.49 €
Using mobile learning to teach creative engineering with PBL pedagogy Yulong Li / Buch Broschur
common.buy 46.59 €
Ancient Syriac Document Anonymous / Buch Broschur
common.buy 12.29 €
The Tall Tales of Robert Silverado: Arctic Adventure Matthew R Enlow / Buch Broschur
common.buy 10.69 €
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 / Buch Hardcover
common.buy 34.79 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?