Skip to main content Skip to footer content

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

Manuel Mazzara Edited by Iulian Ober , Gwen Sala

Dec 06, 2018

$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

658

Programming and Software Engineering

Publisher: Springer Nature

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

ISBN: 9783030047702

UML Modeling Languages and Applications: > 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

Nuno Jardim Nunes Paperback
$80.50
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Andy Gill Paperback
$105.50
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
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Bertrand Meyer Paperback
$72.95
Finite Difference Methods. Theory and Applications: 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers

Ivan Dimov Paperback
$80.50
2 formats available
Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Peter Müller Paperback
$72.95
Building Modern Business Applications: Reactive Cloud Architecture for Java, Spring, and PostgreSQL

Peter Royal Paperback
$80.50
2 formats available
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Marcel Vinícius Oliveira Paperback
$80.50
Domain-specific Languages: IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings

Walid Mohamed Taha Paperback
$80.50
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Bernhard Beckert Paperback
$80.50
The Ruby Way, Second Edition: Solutions And Techniques In Ruby Programming

Hal Fulton Paperback
$51.99
Advanced Environments, Tools, and Applications for Cluster Computing: NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers

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

Peggy Gregory Paperback
$72.95
2 formats available
GCC 7.0 GNU Compiler Collection Internals 1/2

Gcc Dev Community Paperback
$51.95
Hypermedia Design: Proceedings of the International Workshop on Hypermedia Design (Iwhd'95), Montpellier, France, 1-2 June 1995

Paperback
$142.95
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
Semantic Web Services for Web Databases

Mourad Ouzzani Paperback
$71.50
2 formats available
Combinatorial Algorithms: 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers

W. F. Symth Paperback
$80.50
Database Issues for Data Visualization: IEEE Visualization '93 Workshop, San Jose, California, USA, October 26, 1993. Proceedings

Perfect Bound
$71.50
Objects, Models, Components, Patterns: 48th International Conference, Tools 2010, Malaga, Spain, June 28 - July 2, 2010, Proceedings

Jan Vitek Paperback
$80.50

Editorial reviews

iulian ober

Author

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

Emil Sekerinski Paperback
$80.50
2 formats available
Frontiers In Software Engineering Education: First International Workshop, Fisee 2019, Villebrumier, France, November 11-13, 2019, Invited Papers

Jean-Michel Bruel Paperback
$80.50
2 formats available
Model And Data Engineering: 9th International Conference, Medi 2019, Toulouse, France, October 28-31, 2019, Proceedings

Klaus-Dieter Schewe Paperback
$80.50
2 formats available
Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part Ii

Emil Sekerinski Paperback
$80.50
2 formats available
Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers

Slimane Hammoudi Paperback
$80.50
2 formats available
Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Hossein Hojjat Paperback
$116.95
2 formats available
Computer Performance Engineering: 16th European Workshop, Epew 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers

Marco Gribaudo Paperback
$80.50
2 formats available
New Opportunities For Software Reuse: 17th International Conference, Icsr 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Rafael Capilla Paperback
$202.95
2 formats available
Service-Oriented Computing - ICSOC 2019 Workshops: WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28-31, 2019, Revised Selected Papers

Sami Yangui Paperback
$80.50
2 formats available
Music Technology with Swing: 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers

Mitsuko Aramaki Paperback
$80.50
2 formats available
Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Jun Pang Paperback
$80.50
2 formats available
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

Farhad Arbab Paperback
$80.50
2 formats available
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Mario Bravetti Paperback
$80.50
Software Composition: 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers

Paperback
$80.50
Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

Shengchao Qin Paperback
$124.50
2 formats available
Parallel Architectures, Algorithms and Programming: 10th International Symposium, PAAP 2019, Guangzhou, China, December 12-14, 2019, Revised Selected Papers

Hong Shen Paperback
$76.50
2 formats available
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Bernhard Beckert Paperback
$80.50
Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers

Danny Weyns Paperback
$80.50
Verified Software. Theories, Tools, And Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers

Ruzica Piskac Paperback
$80.50
2 formats available
Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers

Slimane Hammoudi Paperback
$80.50
2 formats available