Gerald Futschek – författare
Visar alla böcker från författaren Gerald Futschek. Handla med fri frakt och snabb leverans.
4 produkter
Informatics in Schools. A Step Beyond Digital Education
15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Vienna, Austria, September 26–28, 2022, Proceedings
Av Andreas Bollin, Gerald Futschek
Häftad, 2022
588 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online …
Informatics in Schools. A Step Beyond Digital Education
15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Vienna, Austria, September 26–28, 2022, Proceedings
Av Gerald Futschek, Andreas Bollin
E-bok, 2022
792 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online …
Programmentwicklung und Verifikation
Häftad, 1989
740 kr
Lägg i varukorg
Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung führt, werden in diesem Buch beschrieben. Die Programme und die …
Programmentwicklung und Verifikation
E-bok, 2013
476 kr
Lägg i varukorg
Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung führt, werden in diesem Buch beschrieben. Die Programme und die …
