Articles liés à Theoretical Aspects of Computer Software: Third Internationa...
Theoretical Aspects of Computer Software: Third International Symposium, Tacs '97, Sendai, Japan, September 23-26, 1997 : Proceedings - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Theoretical Aspects of Computer Software These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS '97, address the following topics: action calculi; polymorphisms; type theory; lambda calculi; refinement; finite transition systems; model checking; and process algebras.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Date d'édition1997
- ISBN 10 354063388X
- ISBN 13 9783540633884
- ReliureBroché
- Nombre de pages648
Acheter neuf
En savoir plus sur cette édition
EUR 103,84
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings (Lecture Notes in Computer Science (1281)) by Abadi, Martin, Ito, Takayasu [Paperback ]
Edité par
Springer
(1997)
ISBN 10 : 354063388X
ISBN 13 : 9783540633884
Neuf
Soft Cover
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre Soft Cover. Etat : new. N° de réf. du vendeur 9783540633884
Acheter neuf
EUR 103,84
Autre devise
Image d'archives
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings (Lecture Notes in Computer Science, 1281)
Edité par
Springer
(1997)
ISBN 10 : 354063388X
ISBN 13 : 9783540633884
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar3113020172952
Acheter neuf
EUR 112,39
Autre devise
Image fournie par le vendeur
Theoretical Aspects of Computer Software : Third International Symposium, Tacs '97, Sendai, Japan, September 23-26, 1997 : Proceedings
Edité par
Springer
(1997)
ISBN 10 : 354063388X
ISBN 13 : 9783540633884
Neuf
Couverture souple
Quantité disponible : 5
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur 5905471-n
Acheter neuf
EUR 113,68
Autre devise
Image d'archives
Theoretical Aspects of Computer Software : Third International Symposium; TACS'97; Sendai; Japan; September 23 - 26; 1997; Proceedings
Edité par
Springer
(1997)
ISBN 10 : 354063388X
ISBN 13 : 9783540633884
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783540633884_lsuk
Acheter neuf
EUR 114,54
Autre devise
Image fournie par le vendeur
Theoretical Aspects of Computer Software : Third International Symposium, Tacs '97, Sendai, Japan, September 23-26, 1997 : Proceedings
Edité par
Springer
(1997)
ISBN 10 : 354063388X
ISBN 13 : 9783540633884
Neuf
Couverture souple
Quantité disponible : 5
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur 5905471-n
Acheter neuf
EUR 114,53
Autre devise
Image fournie par le vendeur
Theoretical Aspects of Computer Software
Edité par
Springer Berlin Heidelberg Aug 1997
(1997)
ISBN 10 : 354063388X
ISBN 13 : 9783540633884
Neuf
Taschenbuch
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 660 pp. Englisch. N° de réf. du vendeur 9783540633884
Acheter neuf
EUR 112,34
Autre devise
Image fournie par le vendeur
Theoretical Aspects of Computer Software
Edité par
Springer Berlin Heidelberg
(1997)
ISBN 10 : 354063388X
ISBN 13 : 9783540633884
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 submissi. N° de réf. du vendeur 4896315
Acheter neuf
EUR 92,27
Autre devise
Image fournie par le vendeur
Theoretical Aspects of Computer Software : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
Edité par
Springer Berlin Heidelberg
(1997)
ISBN 10 : 354063388X
ISBN 13 : 9783540633884
Neuf
Taschenbuch
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783540633884
Acheter neuf
EUR 114,69
Autre devise
Image d'archives
Theoretical Aspects of Computer Software: Third International Symposium, TACS?97, Sendai, Japan, September 23 - 26, 1997, Proceedings
Edité par
Springer
(1997)
ISBN 10 : 354063388X
ISBN 13 : 9783540633884
Neuf
Couverture souple
Quantité disponible : 15
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur V9783540633884
Acheter neuf
EUR 149,57
Autre devise
Image d'archives
Theoretical Aspects of Computer Software: Third International Symposium, TACS 97, Sendai, Japan, September 23 - 26, 1997, Proceedings
Edité par
Springer
(1997)
ISBN 10 : 354063388X
ISBN 13 : 9783540633884
Neuf
Couverture souple
Quantité disponible : 15
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur V9783540633884
Acheter neuf
EUR 188,71
Autre devise