Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers

Name: Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers
Price: 48.99 CAD
Availability: InStock
Author: Alessandro Aldini
ISBN: 9783031660214

Édition : Alessandro Aldini

3 septembre 2024

48,99 $ ~~Réduction sur le prix courant 60,38 $ à~~

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer Nature Switzerland

ISBN: 9783031660214

Computer Programming - Python: 3 Books In 1: A Crash Course To Go Deep Into Artificial Intelligence. Tools, Tips And Tricks To Imp

Russel R Russo Couverture souple
38,99 $
Building Uis With Wijmo

Yuguang Zhang Couverture souple
39,99 $
2 formats offerts
Running Mainframe z on Distributed Platforms: How to Create Robust Cost-Efficient Multiplatform z Environments

Kenneth Barrett Couverture souple
80,50 $
2 formats offerts
Technologies and Innovation: 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings

Rafael Valencia-garc Couverture souple
116,95 $
2 formats offerts
The Deep Learning With Keras Workshop: Learn How To Define And Train Neural Network Models With Just A Few Lines Of Code

Matthew Moocarme Couverture souple
46,99 $
2 formats offerts
Inside VB.Net: Working with WMI Async and WPF DataGrid

Richard Thomas Edwards Couverture souple
19,50 $
Practical Computer Vision With Simplecv: The Simple Way To Make Technology See

Kurt Demaagd Couverture souple
26,99 $
2 formats offerts
Engineering in Minutes

Anthony Barrios Couverture souple
12,95 $
Bayesian Analysis With Excel And R

Conrad Carlberg Couverture souple
62,49 $
Building a Home Security System with Raspberry Pi

Matthew Poole Couverture souple
46,99 $
2 formats offerts
Object-oriented Python: Master Oop By Building Games And Guis

Irv Kalb Couverture souple
59,99 $
2 formats offerts
Continuous Delivery: Reliable Software Releases Through Build, Test, And Deployment Automation

Jez Humble Couverture rigide
74,99 $
2 formats offerts
Master the Raspberry Pi Pico in C: WiFi with lwIP & mbedtls

Mike James Couverture souple
51,95 $
Blazor In Action

Chris Sainty Couverture souple
79,99 $
2 formats offerts
Software: A Technical History

Kim W. Tracy Livre numérique Kobo
30,99 $ ~~Réduction sur le prix courant 38,30 $ à~~
Bug Bounty Automation With Python: The secrets of bug hunting

Syed Abuthahir Couverture souple
27,50 $
Rise & Shine TEKS Prep Grade 8 Mathematics

Jonathan D Kantrowitz Couverture souple
21,95 $
Algorithms And Architectures For Cryptography And Source Coding In Non-volatile Flash Memories

Malek Safieh Couverture souple
80,50 $
2 formats offerts
Rise & Shine TEKS Prep Grade 6 Mathematics

Jonathan D Kantrowitz Couverture souple
22,95 $
Electrical Estimating Methods

Wayne J. Del Pico Couverture souple
110,95 $
3 formats offerts

Évaluation éditoriale

alessandro aldini

Auteur

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Alessandro Aldini Couverture souple
72,95 $
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Paolo Masci Couverture souple
175,50 $
2 formats offerts
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Antonio Cerone Couverture souple
80,50 $
2 formats offerts
Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Emil Sekerinski Couverture souple
80,50 $
2 formats offerts
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

Javier Camara Couverture souple
116,95 $
2 formats offerts
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira Couverture souple
102,50 $
2 formats offerts
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Manuel Mazzara Couverture souple
80,50 $
2 formats offerts
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

Loek Cleophas Couverture souple
80,50 $
2 formats offerts
Agile Processes In Software Engineering And Extreme Programming - Workshops: Xp 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers

Peggy Gregory Couverture souple
72,95 $
2 formats offerts
Job Scheduling Strategies for Parallel Processing: 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

Dalibor Klus Couverture souple
80,50 $
2 formats offerts
Software Architecture: 15th European Conference, ECSA 2021 Tracks and Workshops; Vaxjo, Sweden, September 13-17, 2021, Revised Selected Papers

Patrizia Scandurra Couverture souple
80,50 $
2 formats offerts
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium: Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

Bedir Tekinerdo Couverture souple
116,95 $
2 formats offerts
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Couverture souple
77,95 $
2 formats offerts
Software Architecture: 11th European Conference, Ecsa 2017, Canterbury, Uk, September 11-15, 2017, Proceedings

Antónia Lopes Couverture souple
80,50 $
2 formats offerts
Advances In Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

Iris Reinhartz-berger Couverture souple
87,95 $
2 formats offerts
Algorithmics of Wireless Networks: 19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7-8, 2023, Revised Selected Papers

Konstantinos Georgiou Couverture souple
80,50 $
2 formats offerts
Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Hossein Hojjat Couverture souple
116,95 $
2 formats offerts
Agile Processes In Software Engineering And Extreme Programming - Workshops: Xp 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers

Maria Paasivaara Couverture souple
87,95 $
2 formats offerts
Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual event, October 8-10, 2021, Revised Selected Papers

Carla Rocha Couverture souple
102,50 $
2 formats offerts
Evaluation of Novel Approaches to Software Engineering: 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers

Ernesto Damiani Couverture souple
124,50 $
2 formats offerts

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers

Description

Vous aimerez peut-être aussi

Computer Programming - Python: 3 Books In 1: A Crash Course To Go Deep Into Artificial Intelligence. Tools, Tips And Tricks To Imp

Building Uis With Wijmo

Running Mainframe z on Distributed Platforms: How to Create Robust Cost-Efficient Multiplatform z Environments

Technologies and Innovation: 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings

The Deep Learning With Keras Workshop: Learn How To Define And Train Neural Network Models With Just A Few Lines Of Code

Inside VB.Net: Working with WMI Async and WPF DataGrid

Practical Computer Vision With Simplecv: The Simple Way To Make Technology See

Engineering in Minutes

Bayesian Analysis With Excel And R

Building a Home Security System with Raspberry Pi

Object-oriented Python: Master Oop By Building Games And Guis

Continuous Delivery: Reliable Software Releases Through Build, Test, And Deployment Automation

Master the Raspberry Pi Pico in C: WiFi with lwIP & mbedtls

Blazor In Action

Software: A Technical History

Bug Bounty Automation With Python: The secrets of bug hunting

Rise & Shine TEKS Prep Grade 8 Mathematics

Algorithms And Architectures For Cryptography And Source Coding In Non-volatile Flash Memories

Rise & Shine TEKS Prep Grade 6 Mathematics

Electrical Estimating Methods

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

Agile Processes In Software Engineering And Extreme Programming - Workshops: Xp 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing: 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

Software Architecture: 15th European Conference, ECSA 2021 Tracks and Workshops; Vaxjo, Sweden, September 13-17, 2021, Revised Selected Papers

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium: Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Software Architecture: 11th European Conference, Ecsa 2017, Canterbury, Uk, September 11-15, 2017, Proceedings

Advances In Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

Algorithmics of Wireless Networks: 19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7-8, 2023, Revised Selected Papers

Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Agile Processes In Software Engineering And Extreme Programming - Workshops: Xp 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers

Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual event, October 8-10, 2021, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering: 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers