The French School of Programming
The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of such widely acclaimed inventions as abstract interpretation,...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | |
| Format: | Elektroniczne E-book |
| Język: | angielski |
| Wydane: |
Cham :
Springer International Publishing : Imprint: Springer,
2024.
|
| Wydanie: | 1st ed. 2024. |
| Hasła przedmiotowe: | |
| Dostęp online: | https://doi.org/10.1007/978-3-031-34518-0 |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
Podobne zapisy
Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
Wydane: (2025)
Wydane: (2025)
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
Wydane: (2024)
Wydane: (2024)
Object-based Programming with Go
od: Maurer, Christian
Wydane: (2025)
od: Maurer, Christian
Wydane: (2025)
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
Wydane: (2024)
Wydane: (2024)
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
Wydane: (2024)
Wydane: (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 /
Wydane: (2024)
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)
Wydane: (2025)
Concise Guide to Software Verification From Model Checking to Annotation Checking /
od: Huisman, Marieke, i wsp.
Wydane: (2023)
od: Huisman, Marieke, i wsp.
Wydane: (2023)
Learning Java A Test-Driven Approach /
od: Crotts, Joshua
Wydane: (2024)
od: Crotts, Joshua
Wydane: (2024)
Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX /
od: Diehl, Patrick, i wsp.
Wydane: (2024)
od: Diehl, Patrick, i wsp.
Wydane: (2024)
Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Wydane: (2023)
Wydane: (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 /
Wydane: (2025)
Wydane: (2025)
Learning C# Through Small Projects
od: Panjuta, Denis, i wsp.
Wydane: (2024)
od: Panjuta, Denis, i wsp.
Wydane: (2024)
Design Patterns with Java An Introduction /
od: Musch, Olaf
Wydane: (2023)
od: Musch, Olaf
Wydane: (2023)
Guide to Software Verification with Frama-C Core Components, Usages, and Applications /
Wydane: (2024)
Wydane: (2024)
ISTQB® Certified Tester Foundation Level A Self-Study Guide Syllabus v4.0 /
od: Stapp, Lucjan, i wsp.
Wydane: (2024)
od: Stapp, Lucjan, i wsp.
Wydane: (2024)
Cloud-Native Application Architecture Microservice Development Best Practice /
od: Team, FreeWheel Biz-UI
Wydane: (2024)
od: Team, FreeWheel Biz-UI
Wydane: (2024)
Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
Wydane: (2023)
Wydane: (2023)
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
od: Morazán, Marco T.
Wydane: (2024)
od: Morazán, Marco T.
Wydane: (2024)
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
Wydane: (2025)
Wydane: (2025)
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
Wydane: (2025)
Wydane: (2025)
Compiler Construction Fundamentals and Applications /
od: Mössenböck, Hanspeter
Wydane: (2025)
od: Mössenböck, Hanspeter
Wydane: (2025)
Programming in ANSI C /
od: Balagurusamy, E.
Wydane: (1992)
od: Balagurusamy, E.
Wydane: (1992)
Programming in ANSI C
od: Balagurusamy, E
Wydane: (1992)
od: Balagurusamy, E
Wydane: (1992)
Managing Software Supply Chains Theory and Practice /
od: Wang, Ying, i wsp.
Wydane: (2025)
od: Wang, Ying, i wsp.
Wydane: (2025)
Guide to Java A Concise Introduction to Programming /
od: Streib, James T., i wsp.
Wydane: (2023)
od: Streib, James T., i wsp.
Wydane: (2023)
Exception Handling Fundamentals and Programming /
od: Mejia Alvarez, Pedro, i wsp.
Wydane: (2024)
od: Mejia Alvarez, Pedro, i wsp.
Wydane: (2024)
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Wydane: (2025)
Wydane: (2025)
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Wydane: (2023)
Wydane: (2023)
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings /
Wydane: (2024)
Wydane: (2024)
Software Tools in Pascal /
od: Kernighan, Brian W.
Wydane: (1981)
od: Kernighan, Brian W.
Wydane: (1981)
Software Tools in Pascal
od: Kernighan, Brian W
Wydane: (1981)
od: Kernighan, Brian W
Wydane: (1981)