الكتب الالكترونية

عدد الكتب: 1 - 2 /2
978-3-540-33097-4
Implementation and Application of Automata (vol. # 3845)

This volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...

اقرأ المزيد
978-3-540-78800-3
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

اقرأ المزيد
عدد الكتب: 1 - 2 /2