Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Inbunden, 2022
719 kr
Del i serien Lecture Notes in Computer Science
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
Häftad, Engelska, 2014
699 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers cover the topics related to the use of Information and Communication Technology (ICT) and Open Source Software (OSS) as tools to foster and support Education, Innovation and Sustainability.
Produktinformation
- Utgivningsdatum2014-03-11
- Mått155 x 235 x 18 mm
- Vikt493 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor305
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642543371
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Häftad, 2023
549 kr
Techniques for Fostering Collaboration in Online Learning Communities
Francesca Pozzi, Donatella Persico
Inbunden, 2010
2 919 kr
Fostering Self-regulated Learning Through ICT
Donatella Persico, Giuliana Dettori, Giuliana Dettori, Donatella Persico
Inbunden, 2010
2 919 kr
Del 918
Software Process Improvement and Capability Determination
Ioannis Stamelos, Rory V. O'Connor, Terry Rout, Alec Dorling
Häftad, 2018
739 kr
Del 525
Open Source Systems: Enterprise Software and Solutions
Ioannis Stamelos, Jesus M. Gonzalez-Barahoña, Iraklis Varlamis, Dimosthenis Anagnostopoulos
Inbunden, 2018
749 kr
Del 14245
Del 8919
Software Reuse for Dynamic Systems in the Cloud and Beyond
Ina Schaefer, Ioannis Stamelos
Häftad, 2014
739 kr
Del 525
Open Source Systems: Enterprise Software and Solutions
Ioannis Stamelos, Jesus M. Gonzalez-Barahoña, Iraklis Varlamis, Dimosthenis Anagnostopoulos
Häftad, 2018
739 kr
Approaches and Processes for Managing the Economics of Information Systems
Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros, Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros
Inbunden, 2014
2 279 kr