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

Name: Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
Price: 78.99 CAD
Availability: InStock
Author: Zoltán Porkoláb
ISBN: 9783031428333

Édition : Zoltán Porkoláb

18 novembre 2023

78,99 $ ~~Réduction sur le prix courant 98,13 $ à~~

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 International Publishing

ISBN: 9783031428333

A Deep Dive Into Nosql Databases: The Use Cases And Applications

Pethuru Raj Couverture rigide
269,50 $
2 formats offerts
Beginning Apache Pig: Big Data Processing Made Easy

Balaswamy Vaddeman Couverture souple
55,50 $
2 formats offerts
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Kyungmin Bae Couverture souple
116,95 $
2 formats offerts
Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Zane Brooks Couverture souple
33,99 $
Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Zane Brooks Couverture rigide
46,99 $
Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Ezechiel Hayes Couverture souple
39,99 $
Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Ezechiel Hayes Couverture rigide
52,99 $
Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis

Eike Best Couverture rigide
131,50 $
Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis

Eike Best Couverture souple
58,50 $
Rust Atomics and Locks: Low-Level Concurrency in Practice

Mara Bos Couverture souple
69,99 $
2 formats offerts
Fortran 95 Handbook: Complete Iso/ansi Reference

Jeanne C. Adams Couverture souple
119,00 $
Clang Compiler Frontend: Get to grips with the internals of a C/C++ compiler frontend and create your own tools

Ivan Murashko Couverture souple
50,99 $
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Marcello M. Bonsangue Couverture souple
80,50 $
A Gentle Introduction to Statistics Using SAS Studio in the Cloud

Ron Cody Couverture rigide
76,26 $
Human Work Interaction Design: A Platform for Theory and Action

Torkil Clemmensen Couverture souple
248,50 $
3D Dynamic Scene Analysis: A Stereo Based Approach

Zhengyou Zhang Couverture souple
80,50 $
Human Work Interaction Design: A Platform for Theory and Action

Torkil Clemmensen Couverture rigide
248,50 $
2 formats offerts
Universal Access in Ambient Intelligence Environments: 9th ERCIM Workshop on User Interfaces for All, Konigswinter, Germany, September 27-28, 2006, Revised Papers

Constantine Stephanidis Couverture souple
80,50 $
3D Dynamic Scene Analysis: A Stereo Based Approach

Zhengyou Zhang Couverture rigide
155,95 $
Learn Enough Developer Tools to Be Dangerous: Command Line, Text Editor, and Git Version Control Essentials

Michael Hartl Livre numérique Kobo
37,99 $ ~~Réduction sur le prix courant 47,49 $ à~~

Évaluation éditoriale

zoltan porkolab

Auteur

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Kyungmin Bae Couverture souple
116,95 $
2 formats offerts
Service-Oriented Computing: 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Marco Aiello Couverture souple
94,95 $
2 formats offerts
Service-Oriented Computing: 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3-9, 2022, Revised Selected Papers

Johanna Barzen Couverture souple
80,50 $
2 formats offerts
Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Vladimir Itsykson Couverture souple
80,50 $
2 formats offerts
Big Data Management and Analytics: 9th European Summer School, eBISS 2019, Berlin, Germany, June 30 - July 5, 2019, Revised Selected Papers

Ralf-Detlef Kutsche Couverture souple
80,50 $
2 formats offerts
Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers

Raian Ali Couverture souple
80,50 $
2 formats offerts
From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers

Juliana Bowles Couverture souple
87,95 $
2 formats offerts
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Couverture souple
94,95 $
2 formats offerts
Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers

Paola Festa Couverture souple
80,50 $
2 formats offerts
Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Hermann Kaindl Couverture souple
124,50 $
2 formats offerts
Modelling to Program: Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers

Ajantha Dahanayake Couverture souple
80,50 $
2 formats offerts
Chatbot Research and Design: 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22-23, 2022, Revised Selected Papers

Asbjorn Folstad Couverture souple
102,50 $
2 formats offerts
Service-Oriented Computing: 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers

Marco Aiello Couverture souple
94,95 $
2 formats offerts
Formal Techniques For Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Cyrille Artho Couverture souple
80,50 $
2 formats offerts
Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers

Slimane Hammoudi Couverture souple
80,50 $
2 formats offerts
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Couverture souple
80,50 $
2 formats offerts
Evaluation of Novel Approaches to Software Engineering: 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers

Ernesto Damiani Couverture souple
80,50 $
2 formats offerts
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Anna Kalenkova Couverture souple
80,50 $
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
Attacks and Defenses for the Internet-of-Things: 5th International Workshop, ADIoT 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers

Wenjuan Li Couverture souple
87,95 $
2 formats offerts

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

Description

Vous aimerez peut-être aussi

A Deep Dive Into Nosql Databases: The Use Cases And Applications

Beginning Apache Pig: Big Data Processing Made Easy

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis

Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis

Rust Atomics and Locks: Low-Level Concurrency in Practice

Fortran 95 Handbook: Complete Iso/ansi Reference

Clang Compiler Frontend: Get to grips with the internals of a C/C++ compiler frontend and create your own tools

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

A Gentle Introduction to Statistics Using SAS Studio in the Cloud

Human Work Interaction Design: A Platform for Theory and Action

3D Dynamic Scene Analysis: A Stereo Based Approach

Human Work Interaction Design: A Platform for Theory and Action

Universal Access in Ambient Intelligence Environments: 9th ERCIM Workshop on User Interfaces for All, Konigswinter, Germany, September 27-28, 2006, Revised Papers

3D Dynamic Scene Analysis: A Stereo Based Approach

Learn Enough Developer Tools to Be Dangerous: Command Line, Text Editor, and Git Version Control Essentials

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Service-Oriented Computing: 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Service-Oriented Computing: 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3-9, 2022, Revised Selected Papers

Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Big Data Management and Analytics: 9th European Summer School, eBISS 2019, Berlin, Germany, June 30 - July 5, 2019, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers

From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Modelling to Program: Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers

Chatbot Research and Design: 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22-23, 2022, Revised Selected Papers

Service-Oriented Computing: 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers

Formal Techniques For Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers

Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering: 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers

Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

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

Attacks and Defenses for the Internet-of-Things: 5th International Workshop, ADIoT 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers