|
Showing 1 - 2 of
2 matches in All Departments
|
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 (Paperback, 1st ed. 2022)
Andreas Bollin, Gerald Futschek
|
R1,643
Discovery Miles 16 430
|
Ships in 10 - 15 working days
|
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 format. The 12 full papers
presented together with 4 short papers were carefully reviewed and
selected from 57 submissions. They are organized in 2 topical
sections named: state of research and best practice, country, and
experience reports.As in our school education subjects like
"digital literacy" or "media literacy" are making their way in,
complementing or partially replacing computer science education.
The current ISSEP conference reacted to this trend and therefore
invited computer scientists, media didactics, and representatives
of politics, media and industry to a discussion round on the topic
"Media Education or Computer Science? Quo Vadis, School Teaching?".
Die entscheidenden Argumente fA1/4r die Korrektheit eines Programms
kAnnen am einfachsten schon bei seiner Entwicklung festgehalten
werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in
Hand mit der Programmentwicklung fA1/4hrt, werden in diesem Buch
beschrieben. Die Programme und die Informationen fA1/4r die
Verifikation werden mit eigens zu diesem Zweck erweiterten
Struktogrammen dargestellt. Die Methoden und die zahlreichen
Beispiele sind unabhAngig von einer bestimmten Programmiersprache.
Das Buch wendet sich nicht nur an die an Programmverifikation
interessierten Leser, sondern an alle, die ein tieferes VerstAndnis
von Programmen erreichen wollen. Der Leser soll die vorgestellten
Methoden und Denkweisen bei der Entwicklung seiner eigenen
Programme anwenden lernen, um so effizientere und sicherere
Software zu erzeugen.
|
You may like...
Celebrations
Jan Kohler
Hardcover
R450
R351
Discovery Miles 3 510
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|