Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, September 23 - 26, 1997, Proceedings (Lecture Notes in Computer Science)
5 Angebote vergleichen
Preise | 2012 | 2013 | 2014 | 2015 |
---|---|---|---|---|
Schnitt | € 78,53 | € 47,43 | € 89,25 | € 84,00 |
Nachfrage |
1
Theoretical Aspects of Computer Software: Third International Symposium, Tacs97, Sendai, Japan, September 23 - 26, 1997, Proceedings
DE PB NW
ISBN: 9783540633884 bzw. 354063388X, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 648 pages. Dimensions: 9.1in. x 6.1in. x 1.0in.This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS97, 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Paperback. 648 pages. Dimensions: 9.1in. x 6.1in. x 1.0in.This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS97, 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
2
Theoretical Aspects of Computer Software: Third International Symposium, TACS97, Sendai, Japan, September 23 - 26, 1997, Proceedings (Lecture Notes in Computer Science)
DE PB NW
ISBN: 9783540633884 bzw. 354063388X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
THEORETICAL ASPECTS OF COMPUTER SOFTWARE
DE NW
ISBN: 9783540633884 bzw. 354063388X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Romtrade Corp. [59069402], STERLING HEIGHTS, MI, U.S.A.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Romtrade Corp. [59069402], STERLING HEIGHTS, MI, U.S.A.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
THEORETICAL ASPECTS OF COMPUTER SOFTWARE
DE NW
ISBN: 9783540633884 bzw. 354063388X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Romtrade Corp. [59069402], Sterling Heights, MI, U.S.A.
Brand New book. We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.
Von Händler/Antiquariat, Romtrade Corp. [59069402], Sterling Heights, MI, U.S.A.
Brand New book. We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.
Lade…