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: 109.50 CAD
Availability: InStock
Author: Viktória Zs
ISBN: 9783031428326

Zolt Porkol Edited by Viktória Zs

Oct 18, 2023

$109.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 548 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

393

Lecture Notes In Computer Science

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783031428326

Pro Visual C++/CLI and the .NET 3.5 Platform

Stephen R.g. Fraser Paperback
$80.50
The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Mike Hinchey Paperback
$109.50
Xquery: Search Across A Variety Of Xml Data

Priscilla Walmsley Paperback
$68.99
R Data Science Quick Reference: A Pocket Guide To Apis, Libraries, And Packages

Thomas Mailund Paperback
$13.95
4 formats available
Test-Driven Development with C++: A simple guide to writing bug-free Agile code

Abdul Wahid Tanner Kobo eBook
$41.99 ~~Price reduced from $52.03 to~~
Raku Fundamentals: A Primer With Examples, Projects, And Case Studies

Moritz Lenz Paperback
$87.95
4 formats available
Exploring Graphs With Elixir: Connect Data With Native Graph Libraries And Graph Databases

Tony Hammond Paperback
$59.95
2 formats available
SAP Gateway and Odata

Carsten Bönnen Hardcover
$116.95
Oracle Database 12c Oracle RMAN Backup and Recovery

Robert Freeman Paperback
$110.50
5 formats available
Learn Ruby the Hard Way: A Simple and Idiomatic Introduction to the Imaginative World Of Computational Thinking with Code

Zed Shaw Kobo eBook
$31.99 ~~Price reduced from $39.99 to~~
Universal Ux Design: Building Multicultural User Experience

Alberto Ferreira Paperback
$88.95
2 formats available
Oracle Database 12c Oracle RMAN Backup and Recovery

Matthew Hart Kobo eBook
$83.99 ~~Price reduced from $104.78 to~~
Unity 2018 By Example - Second Edition: Learn About Game And Virtual Reality Development By Creating Five Engaging Projects

Alan Thorn Paperback
$59.99
2 formats available
Data Mining With Spss Modeler: Theory, Exercises And Solutions

Tilo Wendler Hardcover
$189.95
4 formats available
Gnu Octave By Example: A Fast And Practical Approach To Learning Gnu Octave

Ashwin Pajankar Paperback
$94.95
2 formats available
Building Multi-Tenant SaaS Architectures: Principles, Practices, and Patterns Using AWS

Tod Golding Paperback
$99.99
2 formats available
Building Cross-Platform GUI Applications with Fyne: Create beautiful, platform-agnostic graphical applications using Fyne and the Go programming language

Andrew Williams Paperback
$53.99
2 formats available
Oracle Tuning Power Scripts: With 100+ High Performance SQL Scripts

Mike Ault Paperback
$36.50
Carpenter's Complete Guide To The Sas Macro Language, Third Edition

Art Carpenter Hardcover
$146.75
4 formats available
Evolutionary and Biologically Inspired Music, Sound, Art and Design: Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Juan Romero Paperback
$87.95

Editorial reviews

viktoria zs

Author

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

Cyrille Artho Paperback
$80.50
2 formats available
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Kyungmin Bae Paperback
$116.95
2 formats available
Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers

Raian Ali Paperback
$80.50
2 formats available
Service-Oriented Computing: 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3-9, 2022, Revised Selected Papers

Johanna Barzen Paperback
$80.50
2 formats available
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Paperback
$94.95
2 formats available
From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers

Juliana Bowles Paperback
$87.95
2 formats available
New Frontiers In Quantitative Methods In Informatics: 7th Workshop, Infq 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Simonetta Balsamo Paperback
$80.50
2 formats available
Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Vladimir Itsykson Paperback
$80.50
2 formats available
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Paperback
$77.95
2 formats available
Chatbot Research and Design: 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22-23, 2022, Revised Selected Papers

Asbjorn Folstad Paperback
$102.50
2 formats available
Digital Transformation and Global Society: Third International Conference, DTGS 2018, St. Petersburg, Russia, May 30 - June 2, 2018, Revised Selected Papers, Part I

Daniel A. Alexandrov Paperback
$80.50
2 formats available
Code-Based Cryptography: 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers

Jean-Christophe Deneuville Paperback
$87.95
2 formats available
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Anna Kalenkova Paperback
$80.50
2 formats available
Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Hermann Kaindl Paperback
$124.50
2 formats available
Job Scheduling Strategies for Parallel Processing: 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

Dalibor Klus Paperback
$80.50
2 formats available
Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1-3, 2022, Revised Selected Papers

John Gustafson Paperback
$94.95
2 formats available
High-performance Scientific Computing: First Jara-hpc Symposium, Jhpcs 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Edoardo Di Napoli Paperback
$80.50
2 formats available
Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

Daisuke Bekki Paperback
$94.95
2 formats available
Big Data Management and Analytics: 9th European Summer School, eBISS 2019, Berlin, Germany, June 30 - July 5, 2019, Revised Selected Papers

Ralf-Detlef Kutsche Paperback
$80.50
2 formats available
Chatbot Research and Design: 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

Asbjorn Folstad Paperback
$94.95
2 formats available

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

Overview

You May Also Like

Pro Visual C++/CLI and the .NET 3.5 Platform

The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Xquery: Search Across A Variety Of Xml Data

R Data Science Quick Reference: A Pocket Guide To Apis, Libraries, And Packages

Test-Driven Development with C++: A simple guide to writing bug-free Agile code

Raku Fundamentals: A Primer With Examples, Projects, And Case Studies

Exploring Graphs With Elixir: Connect Data With Native Graph Libraries And Graph Databases

SAP Gateway and Odata

Oracle Database 12c Oracle RMAN Backup and Recovery

Learn Ruby the Hard Way: A Simple and Idiomatic Introduction to the Imaginative World Of Computational Thinking with Code

Universal Ux Design: Building Multicultural User Experience

Oracle Database 12c Oracle RMAN Backup and Recovery

Unity 2018 By Example - Second Edition: Learn About Game And Virtual Reality Development By Creating Five Engaging Projects

Data Mining With Spss Modeler: Theory, Exercises And Solutions

Gnu Octave By Example: A Fast And Practical Approach To Learning Gnu Octave

Building Multi-Tenant SaaS Architectures: Principles, Practices, and Patterns Using AWS

Building Cross-Platform GUI Applications with Fyne: Create beautiful, platform-agnostic graphical applications using Fyne and the Go programming language

Oracle Tuning Power Scripts: With 100+ High Performance SQL Scripts

Carpenter's Complete Guide To The Sas Macro Language, Third Edition

Evolutionary and Biologically Inspired Music, Sound, Art and Design: Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

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

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, 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

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: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

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

New Frontiers In Quantitative Methods In Informatics: 7th Workshop, Infq 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

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

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

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

Digital Transformation and Global Society: Third International Conference, DTGS 2018, St. Petersburg, Russia, May 30 - June 2, 2018, Revised Selected Papers, Part I

Code-Based Cryptography: 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers

Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, 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

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

Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1-3, 2022, Revised Selected Papers

High-performance Scientific Computing: First Jara-hpc Symposium, Jhpcs 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

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

Chatbot Research and Design: 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers