Publisher: Springer; 2013 edition (January 11, 2013)
Format: PDF / Kindle / ePub
Size: 9.6 MB
Downloadable formats: PDF
This booklet constitutes the refereed complaints of the eighth overseas convention on ICT in schooling, examine, and business purposes, held in Kherson, Ukraine, in June 2012. The 14 revised complete papers have been rigorously reviewed and chosen from 70 submissions. This ebook starts with an invited contribution featuring the substance of 1 of ICTERI 2012 invited talks. The bankruptcy bargains with the problems of abstraction and verification of houses in real-time Java courses. the remainder of the amount is established in 4 topical elements: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal good judgment and Knowledge-Based Frameworks; ICT-Based structures Modeling, Specification, and Verification: ICT in educating and studying.
Download Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers (Lecture Notes in Computer Science) summary