Okładka

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic. The school addre...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
Korporacja:	SpringerLink (Online service)
Kolejni autorzy:	Cerone, Antonio (Redaktor)
Format:	Elektroniczne E-book
Język:	angielski
Wydane:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Wydanie:	1st ed. 2023.
Seria:	Lecture Notes in Computer Science, 13490
Hasła przedmiotowe:	Software engineering. Computer science. Programming languages (Electronic computers). Software Engineering. Computer Science Logic and Foundations of Programming. Programming Language.
Dostęp online:	https://doi.org/10.1007/978-3-031-43678-9
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Wydane: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Wydane: (2023)

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
Wydane: (2023)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
Wydane: (2023)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
Wydane: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
Wydane: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
Wydane: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
Wydane: (2025)

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /
Wydane: (2023)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Wydane: (2024)

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8–11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers /
Wydane: (2025)

Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers /
Wydane: (2024)

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings /
Wydane: (2024)

Object-based Programming with Go
od: Maurer, Christian
Wydane: (2025)

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
Wydane: (2024)

Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX /
od: Diehl, Patrick, i wsp.
Wydane: (2024)

Learning C# Through Small Projects
od: Panjuta, Denis, i wsp.
Wydane: (2024)

The French School of Programming
Wydane: (2024)

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
Wydane: (2025)

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Wydane: (2023)

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
Wydane: (2023)

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings /
Wydane: (2025)

Software Tools in Pascal /
od: Kernighan, Brian W.
Wydane: (1981)

Programming in ANSI C /
od: Balagurusamy, E.
Wydane: (1992)

Software Tools in Pascal
od: Kernighan, Brian W
Wydane: (1981)

Programming in ANSI C
od: Balagurusamy, E
Wydane: (1992)

Design Patterns with Java An Introduction /
od: Musch, Olaf
Wydane: (2023)

Compiler Construction Fundamentals and Applications /
od: Mössenböck, Hanspeter
Wydane: (2025)

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Wydane: (2024)

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Wydane: (2024)

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Wydane: (2023)

Managing Software Supply Chains Theory and Practice /
od: Wang, Ying, i wsp.
Wydane: (2025)

Computational Thinking First Algorithms, Then Code /
od: Ferragina, Paolo, i wsp.
Wydane: (2024)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Wydane: (2024)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
Wydane: (2024)

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Wydane: (2023)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Wydane: (2023)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Wydane: (2023)

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
Wydane: (2024)

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Wydane: (2023)