Order Total (1 Item Items):
Shipping Destination:
Tools Algorithms Construction Analysis by Zhang Lijun (50 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (50)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (47)
- As New, Fine or Near Fine (2)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (12)
- Not Print on Demand (18)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press 2020-10, 2020
ISBN 10: 101327122X ISBN 13: 9781013271229
PF. Condition: New.
-
-
-
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
Language: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030174646 ISBN 13: 9783030174644
Paperback. Condition: Brand New. 440 pages. 9.25x6.10x0.94 inches. In Stock.
-
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
Language: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030174611 ISBN 13: 9783030174613
Paperback. Condition: Brand New. 900 pages. 9.25x6.10x1.18 inches. In Stock.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Apr 2019, 2019
ISBN 10: 3030174611 ISBN 13: 9783030174613
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Springer Nature Switzerland, Springer International Publishing Apr 2019, 2019
ISBN 10: 3030174646 ISBN 13: 9783030174644
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 101327122X ISBN 13: 9781013271229
Kartoniert / Broschiert. Condition: New. KlappentextrnrnThis 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 .
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271262 ISBN 13: 9781013271267
Kartoniert / Broschiert. Condition: New. KlappentextrnrnThis 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 .
-
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
Language: English
Published by Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030174646 ISBN 13: 9783030174644
Taschenbuch. Condition: 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.
-
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 I
Language: English
Published by Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030174611 ISBN 13: 9783030174613
Taschenbuch. Condition: 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.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271238 ISBN 13: 9781013271236
Gebunden. Condition: New. KlappentextrnrnThis 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 .
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271270 ISBN 13: 9781013271274
Gebunden. Condition: New. KlappentextrnrnThis 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 .
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 440 | Sprache: Englisch | Produktart: Bücher | 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.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 460 | Sprache: Englisch | Produktart: Bücher | 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.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271270 ISBN 13: 9781013271274
hardcover. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271238 ISBN 13: 9781013271236
hardcover. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: new. Questo è un articolo print on demand.
-
Condition: new. Questo è un articolo print on demand.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 101327122X ISBN 13: 9781013271229
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271262 ISBN 13: 9781013271267
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271262 ISBN 13: 9781013271267
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
£ 50.26
£ 6.76 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 101327122X ISBN 13: 9781013271229
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
£ 50.26
£ 6.76 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271238 ISBN 13: 9781013271236
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271270 ISBN 13: 9781013271274
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271238 ISBN 13: 9781013271236
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
£ 53.92
£ 7.63 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271270 ISBN 13: 9781013271274
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
£ 53.92
£ 7.63 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271262 ISBN 13: 9781013271267
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 53.09
£ 12.91 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 101327122X ISBN 13: 9781013271229
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 53.09
£ 12.91 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
