Tools And Algorithms For The Construction And Analysis Of Systems

20th International Conference, Tacas 2014, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps 2014, Grenoble, Fr

language: english
Publisher: Springer Nature B.V., March of 2014 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book

Tools And Algorithms For The Construction And Analysis Of Systems

20th International Conference, Tacas 2014, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps 2014, Grenoble, Fr

Property Description
ISBN: 9783642548635
Publisher: Springer Nature B.V.
Release Date: March of 2014
Language: English
Dimensions: 156 x 234 x 20 mm
Cover: Softcover
Pages: 672
Format: Book
Collection: Springerbriefs In Cooperating Objects
Categories: Books in English > Others
EAN: 9783642548635