Verwandte Artikel zu ICT in Education, Research, and Industrial Applications:...
ICT in Education, Research, and Industrial Applications: 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised ... in Computer and Information Science) - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Book by None
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor:
This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal Logic and Knowledge-Based Frameworks; ICT-Based Systems Modeling, Specification, and Verification: ICT in Teaching and Learning.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2013
- ISBN 10 3642357369
- ISBN 13 9783642357367
- EinbandTapa blanda
- Anzahl der Seiten260
- HerausgeberErmolayev Vadim, Mayr Heinrich C., Nikitchenko Mykola, Spivakovsky Aleksander, Zholtkevych Grygoriy
Neu kaufen
Mehr zu diesem Angebot erfahren
EUR 56,45
Versand:
EUR 32,99
Von Deutschland nach USA
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
ICT in Education, Research, and Industrial Applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Verlag:
Springer Berlin Heidelberg
(2013)
ISBN 10: 3642357369
ISBN 13: 9783642357367
Neu
Taschenbuch
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal Logic and Knowledge-Based Frameworks; ICT-Based Systems Modeling, Specification, and Verification: ICT in Teaching and Learning. Artikel-Nr. 9783642357367
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 56,45
Währung umrechnen