Noch Fragen? 0800 / 33 82 637

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings. Part II

Produktform: Buch / Einband - flex.(Paperback)

Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7 Competition on Software Verification – SV-COMP. weiterlesen

Sprache(n): Englisch

ISBN: 978-3-319-89962-6 / 978-3319899626 / 9783319899626

Verlag: Springer International Publishing

Erscheinungsdatum: 14.04.2018

Seiten: 465

Auflage: 1

Herausgegeben von Dirk Beyer, Marieke Huisman

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück