Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Name: Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Augusto Sampaio
ISBN: 9783030310370

Pedro Ribeiro Edited by Augusto Sampaio

Sep 12, 2019

$80.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 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

217

Theoretical Computer Science and General Issues

Publisher: Springer Nature

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

ISBN: 9783030310370

Computational Intelligence in Music, Sound, Art and Design: 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings

Anik Ek Paperback
$94.95
2 formats available
Variable Neighborhood Search: 7th International Conference, Icvns 2019, Rabat, Morocco, October 3-5, 2019, Revised Selected Papers

Rachid Benmansour Paperback
$80.50
2 formats available
Transactions on Petri Nets and Other Models of Concurrency VI

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

Marco Aiello 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
Fm 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceeding: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Michael Butler Paperback
$80.50
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
Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Javier Esparza Paperback
$80.50
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings

Alex Groce Paperback
$102.50
Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

Paperback
$71.50
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
Service-Oriented Computing: 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Marco Aiello Paperback
$94.95
2 formats available
Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part II

Sheng Wen Paperback
$80.50
2 formats available
Next Generation Arithmetic: 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings

Marek Michalewicz Paperback
$80.50
2 formats available
Service-Oriented Computing: 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Marco Aiello Paperback
$94.95
2 formats available
Next Generation Arithmetic: 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings

Marek Michalewicz Paperback
$80.50
2 formats available
Haptic and Audio Interaction Design: 5th International Workshop, Haid 2010, Copenhagen, Denmark, September 16-17, 2010, Proceedings

Rolf Nordahl Paperback
$80.50
Transactions on Petri Nets and Other Models of Concurrency VII

Kurt Jensen Paperback
$80.50
Dependable Computing - EDCC 2021 Workshops: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceeding: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings

Rasmus Adler Paperback
$80.50
2 formats available
Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Khalil Drira Paperback
$80.50
2 formats available

Editorial reviews

augusto sampaio

Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Overview

You May Also Like

Computational Intelligence in Music, Sound, Art and Design: 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings

Variable Neighborhood Search: 7th International Conference, Icvns 2019, Rabat, Morocco, October 3-5, 2019, Revised Selected Papers

Transactions on Petri Nets and Other Models of Concurrency VI

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

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

Fm 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceeding: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

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

Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings

Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

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

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

Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part II

Next Generation Arithmetic: 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings

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

Next Generation Arithmetic: 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings

Haptic and Audio Interaction Design: 5th International Workshop, Haid 2010, Copenhagen, Denmark, September 16-17, 2010, Proceedings

Transactions on Petri Nets and Other Models of Concurrency VII

Dependable Computing - EDCC 2021 Workshops: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceeding: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings

Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Arithmetic of Finite Fields: 8th International Workshop, WAIFI 2020, Rennes, France, July 6-8, 2020, Revised Selected and Invited Papers

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I

Computation, Physics and Beyond: International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

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

Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Theory And Practice Of Natural Computing: 8th International Conference, Tpnc 2019, Kingston, On, Canada, December 9-11, 2019, Proceedings

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

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

Logic-based Program Synthesis And Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings

Algorithms and Models for the Web Graph: 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017, Revised Selected Papers

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings