Tools and Algorithms for the Construction and Analysis of Systems - Couverture souple

9783030174644: Tools and Algorithms for the Construction and Analysis of Systems

Couverture souple

ISBN 10 : 3030174646 ISBN 13 : 9783030174644

Editeur : Springer, 2019

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 48,19

10 Neuf

De EUR 46,22

This book is Open Access under a CC BY licence.

The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.

The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:

Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.

Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

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

�diteur: Springer
Date d'�dition: 2019
Langue: anglais
ISBN 10: 3030174646
ISBN 13: 9783030174644
Reliure: Broch�
Nombre de pages: 440
�diteur: Vojnar Tom�š, Zhang Lijun
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Acheter D'occasion

�tat : Tr�s bon

Zustand: Sehr gut | Seiten: 440...

Afficher cet article

EUR 48,19

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

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 46,22

Exp�dition �EUR 6,80
Exp�dition depuis Italie vers Etats-Unis

Ajouter au panier

Autres �ditions populaires du m�me titre

9783030174613: Tools and Algorithms for the Construction and Analysis of Systems

Edition pr�sent�e

ISBN 10 : 3030174611 ISBN 13 : 9783030174613
Editeur : Springer, 2019
Couverture souple

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 (eng)

Vojnar, Tom�?

Edit� par Springer, 2019

ISBN 10 : 3030174646 ISBN 13 : 9783030174644

Neuf Couverture souple

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 4 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur 1267b50ed6b7662497f656fb678d1b29

Contacter le vendeur

Acheter neuf

EUR 46,22

Exp�dition �EUR 6,80
Exp�dition depuis Italie 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: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... Computer Science and General Issues)

Edit� par Springer, 2019

ISBN 10 : 3030174646 ISBN 13 : 9783030174644

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 ria9783030174644_new

Contacter le vendeur

Acheter neuf

EUR 60,16

Exp�dition �EUR 13,88
Exp�dition depuis Royaume-Uni 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

Lijun Zhang

Edit� par Springer International Publishing Apr 2019, 2019

ISBN 10 : 3030174646 ISBN 13 : 9783030174644

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 is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems. 440 pp. Englisch. N� de r�f. du vendeur 9783030174644

Contacter le vendeur

Acheter neuf

EUR 53,49

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Tools And Algorithms For The Constructio

Vojnar, Tom

Edit� par Springer, 2019

ISBN 10 : 3030174646 ISBN 13 : 9783030174644

Neuf Couverture souple

Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 74,38

Exp�dition �EUR 10,50
Exp�dition depuis Irlande vers Etats-Unis

Quantit� disponible : 15 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems

Vojnar, Tom�s|Zhang, Lijun

Edit� par Springer International Publishing, 2019

ISBN 10 : 3030174646 ISBN 13 : 9783030174644

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took p. N� de r�f. du vendeur 280959859

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 d'archives

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, Tacas 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2019, Prague, Czec

Vojnar, Tom� (Editor)/ Zhang, Lijun (Editor)

Edit� par Springer-Verlag New York Inc, 2019

ISBN 10 : 3030174646 ISBN 13 : 9783030174644

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 440 pages. 9.25x6.10x0.94 inches. In Stock. N� de r�f. du vendeur x-3030174646

Contacter le vendeur

Acheter neuf

EUR 86,68

Exp�dition �EUR 14,48
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Tools And Algorithms For The Constructio

Vojnar, Tom

Edit� par Springer, 2019

ISBN 10 : 3030174646 ISBN 13 : 9783030174644

Neuf Couverture souple

Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 92,38

Exp�dition �EUR 8,96
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 15 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems

Tom� Vojnar

Edit� par Springer, Springer Apr 2019, 2019

ISBN 10 : 3030174646 ISBN 13 : 9783030174644

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 is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 440 pp. Englisch. N� de r�f. du vendeur 9783030174644

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 : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6�11, 2019, Proceedings, Part II

Lijun Zhang

Edit� par Springer International Publishing, Springer International Publishing, 2019

ISBN 10 : 3030174646 ISBN 13 : 9783030174644

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 is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems. N� de r�f. du vendeur 9783030174644

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 63,32
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 | 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II

Tom� Vojnar (u. a.)

Edit� par Springer, 2019

ISBN 10 : 3030174646 ISBN 13 : 9783030174644

Neuf Taschenbuch

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 | 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II | Tom� Vojnar (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2019 | Springer | EAN 9783030174644 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N� de r�f. du vendeur 115609053

Contacter le vendeur

Acheter neuf

EUR 50,35

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

Quantit� disponible : 5 disponible(s)

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre