Obálka

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry research, in particular he has been a pioneer in...

Uloženo v:

Podrobná bibliografie
Korporativní autor:	SpringerLink (Online service)
Další autoři:	Foster, Simon (Editor), Sampaio, Augusto (Editor)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Vydání:	1st ed. 2024.
Edice:	Lecture Notes in Computer Science, 14900
Témata:	Machine theory. Programming languages (Electronic computers). Software engineering. Formal Languages and Automata Theory. Programming Language. Software Engineering.
On-line přístup:	https://doi.org/10.1007/978-3-031-67114-2
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
Vydáno: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
Vydáno: (2024)

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
Autor: Morazán, Marco T.
Vydáno: (2024)

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
Vydáno: (2023)

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
Vydáno: (2025)

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
Vydáno: (2025)

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
Vydáno: (2024)

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Vydáno: (2024)

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
Vydáno: (2023)

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
Vydáno: (2025)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Vydáno: (2024)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Vydáno: (2023)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
Vydáno: (2025)

The French School of Programming
Vydáno: (2024)

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
Vydáno: (2024)

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

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Vydáno: (2023)

Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday /
Vydáno: (2025)

Automata Theory And Formal Languages /
Autor: Kandar, Shyamalendu
Vydáno: (2012)

Automata Theory And Formal Languages /
Autor: Kandar, Shyamalendu
Vydáno: (2012)

Automata Theory And Formal Languages /
Autor: Kandar, Shyamalendu
Vydáno: (2012)

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
Vydáno: (2023)

Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX /
Autor: Diehl, Patrick, a další
Vydáno: (2024)

Learning C# Through Small Projects
Autor: Panjuta, Denis, a další
Vydáno: (2024)

Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Vydáno: (2023)

Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 – July 4, 2025, Proceedings /
Vydáno: (2025)

R-Calculus, IV: Propositional Logic
Autor: Li, Wei, a další
Vydáno: (2023)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Vydáno: (2023)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Vydáno: (2025)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings /
Vydáno: (2024)

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 /
Vydáno: (2024)

Object-based Programming with Go
Autor: Maurer, Christian
Vydáno: (2025)

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 /
Vydáno: (2025)

Managing Software Supply Chains Theory and Practice /
Autor: Wang, Ying, a další
Vydáno: (2025)

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Vydáno: (2025)

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Vydáno: (2023)

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V /
Vydáno: (2025)

Compiler Construction Fundamentals and Applications /
Autor: Mössenböck, Hanspeter
Vydáno: (2025)

R-Calculus, V: Description Logics
Autor: Li, Wei, a další
Vydáno: (2024)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
Autor: Hoffmann, Dirk W.
Vydáno: (2025)