Futschek gerald (30 résultats)

Etat : New.

Etat : New. In English.

Etat : New.

17 x 24,5 cm, 183 S., illustriert, Taschenbuch, Einband leicht gebräunt und hinten mit leichten Kratzspuren, mit mehreren Stempeln vom "Studienzentrum der Fernuniversität [.] Berlin" auf dem Titel und im Text, die letzten Bll. an der rechten unteren Ecke minimal gewellt, sonst gut.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 '.…

Taschenbuch. Etat : Neu. 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 | Andreas Bollin (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2022 | Springer | EAN 9783031158506 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Etat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | 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?".…

Paperback. Etat : new. Paperback. Die entscheidenden Argumente fuer die Korrektheit eines Programms koennen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung fuehrt, werden in diesem Buch beschrieben. Die Programme und die Informationen fuer die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhaengig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes Verstaendnis 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. Die entscheidenden Argumente fuer die Korrektheit eines Programms koennen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Programme und die Informationen fuer die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Etat : New. In English.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 Informationen für die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhängig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes Verständnis 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.…

Etat : New. pp. 204.

Paperback. Etat : new. Paperback. Die entscheidenden Argumente fuer die Korrektheit eines Programms koennen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung fuehrt, werden in diesem Buch beschrieben. Die Programme und die Informationen fuer die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhaengig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes Verstaendnis 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. Die entscheidenden Argumente fuer die Korrektheit eines Programms koennen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Programme und die Informationen fuer die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Paperback. Etat : Brand New. 192 pages. German language. 9.53x6.77x0.39 inches. In Stock.

Etat : Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | 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 Informationen für die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhängig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes Verständnis 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.…

Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Softcover. Etat : gut. 1989. Programmentwicklung und Verifikation In deutscher Sprache. pages.

Etat : new. Questo è un articolo print on demand.

PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 '. 164 pp. Englisch. …

Etat : New. Print on Demand.

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.…

Etat : New. PRINT ON DEMAND.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 '.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 164 pp. Englisch.…

Paperback. Etat : Brand New. 192 pages. German language. 9.53x6.77x0.39 inches. In Stock. This item is printed on demand.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 Informationen für die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhängig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes Verständnis 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. 204 pp. Deutsch.…

Etat : New. Print on Demand pp. 204 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Die entscheidenden Argumente fuer die Korrektheit eines Programms koennen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung fuehrt, werden in diesem Buch.…

Etat : New. PRINT ON DEMAND pp. 204.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 Informationen für die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhängig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes Verständnis 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 204 pp. Deutsch.…

Taschenbuch. Etat : Neu. Programmentwicklung und Verifikation | Gerald Futschek | Taschenbuch | Springers Angewandte Informatik | ix | Deutsch | 1989 | Springer | EAN 9783211818671 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …