Publisher: Springer; 2013 edition (February 13, 2013)
Format: PDF / Kindle / ePub
Size: 6.6 MB
Downloadable formats: PDF
This publication constitutes the lawsuits of the nineteenth foreign convention on instruments and Algorithms for the development and research of platforms, TACAS 2013, held in Rome, Italy, in March 2013. The forty two papers offered during this quantity have been rigorously reviewed and chosen from 172 submissions. they're prepared in topical sections named: Markov chains; termination; SAT/SMT; video games and synthesis; strategy algebra; pushdown; runtime verification and version checking; concurrency; studying and abduction; timed automata; safeguard and entry keep watch over; frontiers (graphics and quantum); useful courses and kinds; software demonstrations; explicit-state version checking; Büchi automata; and pageant on software program verification.
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... 3 to 15 August 2004 (Nato Science Series II:) free