Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Theoretical Aspects of Computer Software

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

Language EnglishEnglish
Book Paperback
Book Theoretical Aspects of Computer Software Martin Abadi
Libristo code: 05274737
Publishers Springer, Berlin, November 1996
This book constitutes the refereed proceedings of the Third International Symposium on Theoretical A... Full description
? points 222 b
90.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

60 exercices pour booster ma recherche d'emploi d'Estais / Book Paperback
common.buy 15.89 €
El sueño de África JAVIER REVERTE / Book Paperback
common.buy 11.99 €
Cervantes y Pasamonte : la réplica cervantina al Quijote de Avellaneda Alfonso Martín Jiménez / Book Paperback
common.buy 15.39 €
Meri Kuch Kavitaaen Aur Baaten - 6: Dedicated to Sunny Leone Ullhas Pr / Book Paperback
common.buy 7.49 €
Voyages de Montesquieu. Tome 1 MONTESQUIEU-C-L / Book Paperback
common.buy 26.59 €
La crisis financiera y la gran recesión en Estados Unidos Saturnino Aguado Sebastián / Book Paperback
common.buy 15.79 €
Memoires d'un artiste Charles Gounod / Book Hardback
common.buy 15.59 €
Louise, les raisins de la sagesse, Tome 3 Koehl / Book Paperback
common.buy 22.29 €
Nutzen der Digitalen Fabrik Volker Weiner / Book Paperback
common.buy 148.00 €
Hledání mateřského stromu Suzanne Simardová / Audio Audio CD
common.buy 10.49 €
Die Grafiken und Aufgaben des Buches Mathematik (DVD), 1 DVD-ROM Tilo Arens / Digital Digital DVD
common.buy 9.98 €
Accordo preliminare Irina Bukharova / Book Paperback
common.buy 34.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 €
Bir Noel Sarkisi / Book Paperback
common.buy 9.89 €
Zwei außer Rand und Band, 1 DVD Euginio Alabiso / Video DVD
common.buy 10.79 €
Extinction Douglas Preston / Book Paperback
common.buy 23.19 €
LE MONUMENT ELDEN RING ROMIEU SYLVAIN / Book Book
common.buy 29.79 €
Menschen, Tiere und Max Ipke Wachsmuth / Book Hardback
common.buy 19.99 €
Affordable
Jak czytać ludzi bez słów Gregory Hartley / Book Paperback
common.buy 5.49 €
Eltern-Kind-Beziehung im Jugendalter - eine entwicklungspsychologische Betrachtung Anja Dinter / Book Paperback
common.buy 17.95 €
Detektiv Nobody's Erlebnisse und Reiseabenteuer Robert Kraft / Book Paperback
common.buy 24.90 €
Kleinigkeiten von Kaiserin Elisabeth Max Falk / Book Paperback
common.buy 8.99 €
RÊVERIES DES CABANONS ET DES VIGNES EN PAYS VAROIS Arlette / Book Paperback
common.buy 20.49 €
Top
CoquinNet MENSINK / Book Paperback
common.buy 17.59 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Theoretical Aspects of Computer Software
Author Martin Abadi, Takayasu Ito
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 648
EAN 9783540633884
ISBN 354063388X
Libristo code 05274737
Publishers Springer, Berlin
Weight 980
Dimensions 156 x 234 x 33

Categories

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
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Algebraic Methodology and Software Technology V. S. Alagar / Book Paperback
common.buy 90.79 €
Empowered Sarah Banet-Weiser / Book Hardback
common.buy 92.99 €
Windows on Literacy Language, Literacy & Vocabulary Early (Social Studies): Food National Geographic Learning / Book Paperback
common.buy 13.89 €
Rolf in the Woods Ernest Thompson Seton / Book Paperback
common.buy 10.99 €
Coming soon
Nine Chains to the Moon Buckminster Fuller / Book Paperback
common.buy 11.49 €
Korean Language in Culture and Society Ho-Min Sohn / Book Paperback
common.buy 34.09 €
Cannon (John Hall) V. South Carolina U.S. Supreme Court Transcript of Record with Supporting Pleadings Henry W Kirkland / Book Paperback
common.buy 20.99 €
Broken Wings Tereza Ciccarini / Book Hardback
common.buy 27.89 €
Napoleonic Novels Erckmann-Chatrian / Book Hardback
common.buy 34.69 €
Architecture and the Landscape of Modernity in China before 1949 Edward Denison / Book Hardback
common.buy 213.29 €
The Forgetting Sharon Cameron / Book Hardback
common.buy 15.49 €
Ninety-nine Stories of God Joy Williams / Book Hardback
common.buy 12.89 €
Colors! Lynne Dempsey / Book Paperback
common.buy 9.79 €
Playland and a Place with the Pigs Athol Fugard / Book Paperback
common.buy 8.39 €
A Few Facts And Suggestions On Money, Trade, And Banking (1881) Joseph Henry Walker / Book Paperback
common.buy 22.99 €
History Of The World's Fair: Being A Complete Description Of The World's Columbian Exposition, From Its Inception (1898) Benjamin Cummings Truman / Book Paperback
common.buy 48.49 €
Warfare in the Ancient Near East to 1600 BC William J. Hamblin / Book Paperback
common.buy 60.99 €
Poesía John Keats / Book Paperback
common.buy 11.99 €
Past, Present and Future of Research in the Information Society Wesley Shrum / Book Hardback
common.buy 97.89 €
Around the World in 366 Tales - November Nightmares Steve Wilson / Book Paperback
common.buy 13.59 €
Nation, Class and Resentment Robin Mann / Book Paperback
common.buy 71.29 €
More Christmas Piano Solos for All Piano Methods, Level 4 [With CD (Audio)] Hal Leonard Publishing Corporation / Book Paperback
common.buy 9.39 €
Knit Mitts Kate Atherley / Book Paperback
common.buy 19.79 €
Using mobile learning to teach creative engineering with PBL pedagogy Yulong Li / Book Paperback
common.buy 38.89 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?