Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. - Couverture souple

Steffen, Bernhard ; Margaria, Tiziana

9783540610427: Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Couverture souple

ISBN 10 : 3540610421 ISBN 13 : 9783540610427

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

2 D'occasion

De EUR 19,34

8 Neuf

De EUR 53,25

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.
The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3540610421
ISBN 13: 9783540610427
Reliure: Broch�
Nombre de pages: 456
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

�tat : Tr�s bon

Ancien livre de biblioth�que. Edition...

Afficher cet article

EUR 19,34

Exp�dition �EUR 20,50
Exp�dition depuis France vers Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 53,25

Exp�dition �EUR 3,44
Exp�dition nationale�: Etats-Unis

Ajouter au panier

R�sultats de recherche pour Tools and Algorithms for the Construction and Analysis...

Image d'archives

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96 Passau, Germany, March 27-29, 19

Tiziana Margaria et Bernhard Steffen

Edit� par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996

ISBN 10 : 3540610421 ISBN 13 : 9783540610427

Ancien ou d'occasion Softcover

Vendeur : Ammareal, Morangis, France

�valuation du vendeur 5 sur 5 �toiles

Softcover. Etat : Tr�s bon. Ancien livre de biblioth�que. Edition 1996. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations. N� de r�f. du vendeur E-576-288

Contacter le vendeur

Acheter D'occasion

EUR 19,34

Exp�dition �EUR 20,50
Exp�dition depuis France vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... (Lecture Notes in Computer Science, 1055)

Steffen, Bernhard; Margaria, Tiziana

Edit� par Springer, 1996

ISBN 10 : 3540610421 ISBN 13 : 9783540610427

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020172159

Contacter le vendeur

Acheter neuf

EUR 53,25

Exp�dition �EUR 3,44
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... (Lecture Notes in Computer Science, 1055)

Steffen, Bernhard; Margaria, Tiziana

Edit� par Springer, 1996

ISBN 10 : 3540610421 ISBN 13 : 9783540610427

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540610427_new

Contacter le vendeur

Acheter neuf

EUR 58,54

Exp�dition �EUR 13,81
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Pr

Margaria, Tiziana

Edit� par Springer 1996-03, 1996

ISBN 10 : 3540610421 ISBN 13 : 9783540610427

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783540610427

Contacter le vendeur

Acheter neuf

EUR 56,93

Exp�dition �EUR 17,86
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems

Margaria, Tiziana|Steffen, Bernhard

Edit� par Springer Berlin Heidelberg, 1996

ISBN 10 : 3540610421 ISBN 13 : 9783540610427

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 96, held in Passau, Germany in March 1996.The book presents 19 revised full papers selected fro. N� de r�f. du vendeur 4895461

Contacter le vendeur

Acheter neuf

EUR 48,37

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg M�r 1996, 1996

ISBN 10 : 3540610421 ISBN 13 : 9783540610427

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch. N� de r�f. du vendeur 9783540610427

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen

Edit� par Springer Berlin Heidelberg Mrz 1996, 1996

ISBN 10 : 3540610421 ISBN 13 : 9783540610427

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs. 456 pp. Englisch. N� de r�f. du vendeur 9783540610427

Contacter le vendeur

Acheter neuf

EUR 93,08

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Bernhard Steffen

Edit� par Springer Berlin Heidelberg, 1996

ISBN 10 : 3540610421 ISBN 13 : 9783540610427

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs. N� de r�f. du vendeur 9783540610427

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 63,43
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems | Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Tiziana Margaria (u. a.)

Edit� par Springer, 1996

ISBN 10 : 3540610421 ISBN 13 : 9783540610427

Neuf Taschenbuch

impression � la demande

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Tools and Algorithms for the Construction and Analysis of Systems | Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. | Tiziana Margaria (u. a.) | Taschenbuch | xiii | Englisch | 1996 | Springer | EAN 9783540610427 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N� de r�f. du vendeur 101677531

Contacter le vendeur

Acheter neuf

EUR 50,25

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS *96, Passau, Germany, March 27 - 29, 1996, . (Lecture Notes in Computer Science, 1055)

Steffen, Bernhard; Margaria, Tiziana

Edit� par Springer, 1996

ISBN 10 : 3540610421 ISBN 13 : 9783540610427

Ancien ou d'occasion Paperback

Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Paperback. Etat : Like New. Like New. book. N� de r�f. du vendeur ERICA80035406104216

Contacter le vendeur

Acheter D'occasion

EUR 109,25

Exp�dition �EUR 28,82
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier