Formal Methods in Computer Science Education

FORMED2008

Zoltán Istenes , 29.03.2008

Diese Seite wurde seit 7 Jahren inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

Abstracts

This volume contains the proceedings of the First Workshop on Formal Methods in Computer Science Education (FORMED2008). FORMED2008 workshop is a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008), held in Budapest, Hungary on the 29th of March 2008.

From Zoltán Istenes im Konferenz-Band Formal Methods in Computer Science Education (2008)

Bemerkungen zu diesem Konferenz-Band

Leider ist die ursprünglich im Biblionetz erfasste URL eines Volltextes seit mehr als sechs Monaten nicht mehr gültig (Fehlermeldung 404) und wurde deshalb gelöscht. Es ist mir nicht bekannt, ob das Dokument unter einer anderen Adresse noch frei auf dem Internet verfügbar ist.

From Beats Bibliothekar, saved in Beats Biblionetz on 29.07.2006

Chapter

Formal Methods - Never Too Young to Start (J Paul Gibson)

These conference proceedings mentions...

Personen
KB IB clear

Jerome S. Bruner , Howard Gardner , Seymour Papert , G. Polya

Begriffe
KB IB clear

Informatik computer science , Informatik in der Primarschule , Informatik-Didaktik didactics of computer science , Informatik-Unterricht (Fachinformatik)Computer Science Education , Informatikunterricht in der Schule ,

Primarschule (1-6) / Grundschule (1-4)

programming ,

Books

Year	Title	Requests	IB	OB	KB	LB
1945	Schule des Denkens (G. Polya)	4, 2, 1, 7, 2, 6, 7, 7, 2, 3, 15, 4	17	3	4	1499
1966	Towards a theory of instruction (Jerome S. Bruner)	5, 1, 2, 9, 3, 11, 9, 3, 4, 7, 16, 4	32	43	4	2083
1982	Mindstorms (Seymour Papert)	5, 4, 7, 19, 8, 13, 12, 5, 18, 9, 25, 4	343	47	4	5968
1983	Frames Of Mind (Howard Gardner)	5, 4, 2, 13, 2, 12, 9, 3, 5, 4, 15, 2	36	24	2	4167

These conference proceedingsdoes probably not mention...

Nicht erwähnte Begriffe

Kinder, LehrerIn, Unterricht

Citation Graph

Diese SVG-Grafik fensterfüllend anzeigen

Citation Graph(Beta-Test mit vis.js)

Diese interaktive Grafik in neuem Fenster öffnen (mit mehr Interaktionsmöglichkeiten)

Fulltext of this document

Formal Methods in Computer Science Education: Gesamtes Buch als Volltext ( lokal

, 2815 kByte)

Search at other places

Beat and diese Konferenz-Proceedings

Beat hat diese Konferenz-Proceedings während seiner Zeit am Institut für Medien und Schule (IMS) ins Biblionetz aufgenommen. Beat besitzt kein physisches, aber ein digitales Exemplar. (das er aber aus Urheberrechtsgründen nicht einfach weitergeben darf). Es gibt bisher nur wenige Objekte im Biblionetz, die dieses Werk zitieren.

Biblionetz-History

Webzugriffe
Biblionetz-Verweise auf 'Formal Methods in Computer Science Education'
Biblionetz-Verweise von 'Formal Methods in Computer Science Education'

Beats Biblionetz - Books