Formal Methods Teaching (eBook)

Bild von Formal Methods Teaching (eBook)

4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings

Artikelnummer: 978-3-030-91550-6

Einband: PDF

Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)

CHF 65.00

Menge: decrease increase

This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021.

The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.

Beschrieb
Bewertungen
Anfrage zu diesem Produkt

This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021.

The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.

Schreiben Sie Ihre eigene Bewertung

Nur registrierte Benutzer können Produkte bewerten

Ihr Name *

Ihre E-Mail *

Betreff: *

Anfrage *

Verlag	Springer International Publishing
Einband	PDF
Erscheinungsjahr	2021
Seitenangabe	147 S.
Ausgabekennzeichen	Englisch
Abbildungen	XII, 147 p. 27 illus., 14 illus. in color.
Masse	7'926 KB
Plattform	PDF
Reihe	Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Computer Science; Computer Science ; Springer Nature Proceedings Computer Science
Autor	Ferreira, João F. (Hrsg.) / Mendes, Alexandra (Hrsg.) / Menghi, Claudio (Hrsg.)

Alle Bände der Reihe "Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Computer Science; Computer Science (R0); Springer Nature Proceedings Computer Science"

Band 12456

Cover-Bild zu High Performance Computing in Science and Engineering (eBook)

High Performance Computing in Science and Engineer Springer International Publishing

PDF | 2021

CHF

59.00

Band 12542

Cover-Bild zu Arithmetic of Finite Fields (eBook)

Arithmetic of Finite Fields (eBook) Springer International Publishing

PDF | 2021

CHF

59.00

Band 12606

Cover-Bild zu Parallel and Distributed Computing, Applications and Technologies (eBook)

Parallel and Distributed Computing, Applications a Springer International Publishing

PDF | 2021

CHF

59.00

Band 12607

Cover-Bild zu SOFSEM 2021: Theory and Practice of Computer Science (eBook)

SOFSEM 2021: Theory and Practice of Computer Scien Springer International Publishing

PDF | 2021

CHF

118.00

Band 12806

Cover-Bild zu Approximation and Online Algorithms (eBook)

Approximation and Online Algorithms (eBook) Springer International Publishing

PDF | 2021

CHF

189.00

Band 12808

Cover-Bild zu Algorithms and Data Structures (eBook)

Algorithms and Data Structures (eBook) Springer International Publishing

PDF | 2021

CHF

118.00

Band 12819

Cover-Bild zu Theoretical Aspects of Computing - ICTAC 2021 (eBook)

Theoretical Aspects of Computing - ICTAC 2021 (eBo Springer International Publishing

PDF | 2021

CHF

88.50

Band 12820

Cover-Bild zu Euro-Par 2021: Parallel Processing (eBook)

Euro-Par 2021: Parallel Processing (eBook) Springer International Publishing

PDF | 2021

CHF

142.00

Band 12847

Cover-Bild zu Combinatorics on Words (eBook)

Combinatorics on Words (eBook) Springer International Publishing

PDF | 2021

CHF

77.00

Band 12860

Cover-Bild zu Formal Modeling and Analysis of Timed Systems (eBook)

Formal Modeling and Analysis of Timed Systems (eBo Springer International Publishing

PDF | 2021

CHF

59.00

Band 12861

Cover-Bild zu Advances in Computational Intelligence (eBook)

Advances in Computational Intelligence (eBook) Springer International Publishing

PDF | 2021

CHF

118.00

Band 12862

Cover-Bild zu Advances in Computational Intelligence (eBook)

Advances in Computational Intelligence (eBook) Springer International Publishing

PDF | 2021

CHF

59.00

Band 12864

Cover-Bild zu Model Checking Software (eBook)

Model Checking Software (eBook) Springer International Publishing

PDF | 2021

CHF

59.00

Band 12865

Cover-Bild zu Computer Algebra in Scientific Computing (eBook)

Computer Algebra in Scientific Computing (eBook) Springer International Publishing

PDF | 2021

CHF

106.50

Band 12874

Cover-Bild zu Frontiers of Algorithmics (eBook)

Frontiers of Algorithmics (eBook) Springer International Publishing

PDF | 2022

CHF

65.00

Band 12894

Cover-Bild zu Artificial Neural Networks and Machine Learning - ICANN 2021 (eBook)

Artificial Neural Networks and Machine Learning - Springer International Publishing

PDF | 2021

CHF

118.00

Band 12899

Cover-Bild zu Computer Vision Systems (eBook)

Computer Vision Systems (eBook) Springer International Publishing

PDF | 2021

CHF

77.00

Band 12911

Cover-Bild zu Graph-Theoretic Concepts in Computer Science (eBook)

Graph-Theoretic Concepts in Computer Science (eBoo Springer International Publishing

PDF | 2021

CHF

100.50

Band 12938

Cover-Bild zu Wireless Algorithms, Systems, and Applications (eBook)

Wireless Algorithms, Systems, and Applications (eB Springer International Publishing

PDF | 2021

CHF

118.00

Band 12949

Cover-Bild zu Computational Science and Its Applications - ICCSA 2021 (eBook)

Computational Science and Its Applications - ICCSA Springer International Publishing

PDF | 2021

CHF

118.00

Band 12950

Cover-Bild zu Computational Science and Its Applications - ICCSA 2021 (eBook)

Computational Science and Its Applications - ICCSA Springer International Publishing

PDF | 2021

CHF

116.00

Band 12951

Cover-Bild zu Computational Science and Its Applications - ICCSA 2021 (eBook)

Computational Science and Its Applications - ICCSA Springer International Publishing

PDF | 2021

CHF

59.00

Band 12952

Cover-Bild zu Computational Science and Its Applications - ICCSA 2021 (eBook)

Computational Science and Its Applications - ICCSA Springer Nature Switzerland

PDF | 2021

CHF

116.00

Band 12953

Cover-Bild zu Computational Science and Its Applications - ICCSA 2021 (eBook)

Computational Science and Its Applications - ICCSA Springer International Publishing

PDF | 2021

CHF

116.00

Band 12954

Cover-Bild zu Computational Science and Its Applications - ICCSA 2021 (eBook)

Computational Science and Its Applications - ICCSA Springer International Publishing

PDF | 2021

CHF

130.00

Band 12955

Cover-Bild zu Computational Science and Its Applications - ICCSA 2021 (eBook)

Computational Science and Its Applications - ICCSA Springer International Publishing

PDF | 2021

CHF

142.00

Band 12956

Cover-Bild zu Computational Science and Its Applications - ICCSA 2021 (eBook)

Computational Science and Its Applications - ICCSA Springer International Publishing

PDF | 2021

CHF

118.00

Band 12957

Cover-Bild zu Computational Science and Its Applications - ICCSA 2021 (eBook)

Computational Science and Its Applications - ICCSA Springer International Publishing

PDF | 2021

CHF

142.00

Band 12958

Cover-Bild zu Computational Science and Its Applications - ICCSA 2021 (eBook)

Computational Science and Its Applications - ICCSA Springer International Publishing

PDF | 2021

CHF

142.00

Band 12982

Cover-Bild zu Approximation and Online Algorithms (eBook)

Approximation and Online Algorithms (eBook) Springer International Publishing

PDF | 2022

CHF

68.50

Band 12984

Cover-Bild zu Unconventional Computation and Natural Computation (eBook)

Unconventional Computation and Natural Computation Springer International Publishing

PDF | 2021

CHF

65.00

Band 12993

Cover-Bild zu Internet of Things - ICIOT 2021 (eBook)

Internet of Things - ICIOT 2021 (eBook) Springer International Publishing

PDF | 2022

CHF

65.00

Band 13027

Cover-Bild zu Relational and Algebraic Methods in Computer Science (eBook)

Relational and Algebraic Methods in Computer Scien Springer International Publishing

PDF | 2021

CHF

87.50

Band 13034

Cover-Bild zu Discrete and Computational Geometry, Graphs, and Games (eBook)

Discrete and Computational Geometry, Graphs, and G Springer International Publishing

PDF | 2021

CHF

65.00

Band 13046

Cover-Bild zu Stabilization, Safety, and Security of Distributed Systems (eBook)

Stabilization, Safety, and Security of Distributed Springer International Publishing

PDF | 2021

CHF

106.50

Band 13078

Cover-Bild zu Optimization and Applications (eBook)

Optimization and Applications (eBook) Springer International Publishing

PDF | 2021

CHF

88.50

Band 13082

Cover-Bild zu Theory and Practice of Natural Computing (eBook)

Theory and Practice of Natural Computing (eBook) Springer International Publishing

PDF | 2021

CHF

65.00

Band 13084

Cover-Bild zu Algorithmic Aspects of Cloud Computing (eBook)

Algorithmic Aspects of Cloud Computing (eBook) Springer International Publishing

PDF | 2021

CHF

65.00

Band 13122

Cover-Bild zu Formal Methods Teaching (eBook)

Formal Methods Teaching (eBook) Springer International Publishing

PDF | 2021

CHF

65.00

Band 13137

Cover-Bild zu Logical Foundations of Computer Science (eBook)

Logical Foundations of Computer Science (eBook) Springer International Publishing

PDF | 2021

CHF

88.50

Band 13148

Cover-Bild zu Parallel and Distributed Computing, Applications and Technologies (eBook)

Parallel and Distributed Computing, Applications a Springer International Publishing

PDF | 2022

CHF

106.50

Band 13149

Cover-Bild zu Languages and Compilers for Parallel Computing (eBook)

Languages and Compilers for Parallel Computing (eB Springer International Publishing

PDF | 2022

CHF

77.00

Band 13152

Cover-Bild zu Network and Parallel Computing (eBook)

Network and Parallel Computing (eBook) Springer International Publishing

PDF | 2022

CHF

83.00

Band 13155

Cover-Bild zu Algorithms and Architectures for Parallel Processing (eBook)

Algorithms and Architectures for Parallel Processi Springer International Publishing

PDF | 2022

CHF

130.00

Band 13156

Cover-Bild zu Algorithms and Architectures for Parallel Processing (eBook)

Algorithms and Architectures for Parallel Processi Springer International Publishing

PDF | 2022

CHF

130.00

Band 13157

Cover-Bild zu Algorithms and Architectures for Parallel Processing (eBook)

Algorithms and Architectures for Parallel Processi Springer International Publishing

PDF | 2022

CHF

130.00

Band 13174

Cover-Bild zu WALCOM: Algorithms and Computation (eBook)

WALCOM: Algorithms and Computation (eBook) Springer International Publishing

PDF | 2022

CHF

88.50

Band 13179

Cover-Bild zu Algorithms and Discrete Applied Mathematics (eBook)

Algorithms and Discrete Applied Mathematics (eBook Springer International Publishing

PDF | 2022

CHF

88.50

Band 13182

Cover-Bild zu Verification, Model Checking, and Abstract Interpretation (eBook)

Verification, Model Checking, and Abstract Interpr Springer International Publishing

PDF | 2022

CHF

106.50

Band 15511

Cover-Bild zu Database Engineered Applications (eBook)

Database Engineered Applications (eBook) Springer International Publishing

PDF | 2025

CHF

88.50

Weitere Titel von João F. (Hrsg.) Ferreira

Cover-Bild zu Business Competitiveness and Sustainability (eBook)

Business Competitiveness and Sustainability (eBook Taylor & Francis Ebooks

Adobe Digital Editions | 2024

CHF

70.30

Cover-Bild zu Business Competitiveness and Sustainability (eBook)

Business Competitiveness and Sustainability (eBook Taylor & Francis Ebooks

PDF | 2024

CHF

70.30

Cover-Bild zu Mensagem para você (eBook)

Mensagem para você (eBook) Lura Editorial

Adobe Digital Editions | 2023

CHF

2.50

Cover-Bild zu Tratado de Arbitragem (eBook)

Tratado de Arbitragem (eBook) Editora Foco

Adobe Digital Editions | 2023

CHF

47.00

Cover-Bild zu Application de la méthode PDCA pour l'optimisation des processus dans une industrie

Application de la méthode PDCA pour l'optimisation Editions Notre Savoir

Kartonierter Einband (Kt) | 2023

CHF

71.00

Cover-Bild zu Anwendung der PDCA-Methode zur Prozessoptimierung in einer Industrie

Anwendung der PDCA-Methode zur Prozessoptimierung Verlag Unser Wissen

Kartonierter Einband (Kt) | 2023

CHF

71.00

Cover-Bild zu Application of the PDCA Method for Process Optimisation in an Industry

Application of the PDCA Method for Process Optimis Our Knowledge Publishing

Kartonierter Einband (Kt) | 2023

CHF

71.00

Cover-Bild zu Temas de Direito Tributário - Volume 2 (eBook)

Temas de Direito Tributário - Volume 2 (eBook) Arraes Editores

Adobe Digital Editions | 2022

CHF

24.00

Cover-Bild zu Responsabilidade civil nas relações de consumo (eBook)

Responsabilidade civil nas relações de consumo (eB Editora Foco

Adobe Digital Editions | 2022

CHF

28.00

Cover-Bild zu Formal Methods Teaching (eBook)

Formal Methods Teaching (eBook) Springer International Publishing

PDF | 2021

CHF

65.00

Cover-Bild zu Da estrutura à função da responsabilidade civil (eBook)

Da estrutura à função da responsabilidade civil (e Editora Foco

Adobe Digital Editions | 2021

CHF

26.00

Cover-Bild zu Responsabilidade civil e direito de família (eBook)

Responsabilidade civil e direito de família (eBook Editora Foco

Adobe Digital Editions | 2021

CHF

20.00

Cover-Bild zu Formal Methods Teaching

Formal Methods Teaching Springer

Kartonierter Einband (Kt) | 2021

CHF

76.00

Cover-Bild zu Capitalismo em quarentena (eBook)

Capitalismo em quarentena (eBook) Editora Elefante

Adobe Digital Editions | 2020

CHF

6.50

Cover-Bild zu Occupational Safety and Hygiene VI

Occupational Safety and Hygiene VI Taylor and Francis

Fester Einband | 2018

CHF

406.00

Cover-Bild zu Sport Entrepreneurship and Innovation (eBook)

Sport Entrepreneurship and Innovation (eBook) Taylor & Francis Ebooks

PDF | 2016

CHF

100.60

Cover-Bild zu Sport Entrepreneurship and Innovation (eBook)

Sport Entrepreneurship and Innovation (eBook) Taylor & Francis Ebooks

Adobe Digital Editions | 2016

CHF

100.60

Cover-Bild zu Knowledge Intensive Business Services and Regional Competitiveness (eBook)

Knowledge Intensive Business Services and Regional Taylor & Francis Ebooks

Adobe Digital Editions | 2016

CHF

80.60

Cover-Bild zu Knowledge Intensive Business Services and Regional Competitiveness (eBook)

Knowledge Intensive Business Services and Regional Taylor & Francis Ebooks

PDF | 2016

CHF

80.60

Cover-Bild zu Use-Wear and Residue Analysis in Archaeology

Use-Wear and Residue Analysis in Archaeology Springer EN

Kartonierter Einband (Kt) | 2016

CHF

109.00

Cover-Bild zu Use-Wear and Residue Analysis in Archaeology (eBook)

Use-Wear and Residue Analysis in Archaeology (eBoo Springer International Publishing

PDF | 2014

CHF

88.50

Cover-Bild zu Use-Wear and Residue Analysis in Archaeology

Use-Wear and Residue Analysis in Archaeology Springer EN

Fester Einband | 2014

CHF

109.00

Cover-Bild zu The Brazilian State

The Brazilian State Ingram Publishers Services

Kartonierter Einband (Kt) | 2013

CHF

90.00

Cover-Bild zu Discrete Dynamics And Difference Equations - Proceedings Of The Twelfth International Conference On Difference Equations And Applications

Discrete Dynamics And Difference Equations - Proce World Scientific Publishing

Fester Einband | 2010

CHF

226.00

Produktbewertungen

Nur registrierte Benutzer können Produkte bewerten