Passer au contenu principal Passer au contenu du pied de page

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Édition : Bill Roscoe

30 mars 2016

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

Programming and Software Engineering

Publié par: Springer International Publishing

ISBN: 9783319294735

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Gustavo Carvalho Couverture souple
102,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings

Sidney C. Nogueira Couverture souple
94,95 $
Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings

Mogens Nielsen Couverture souple
80,50 $
Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments: 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Margherita Antona Couverture souple
145,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Remote Sensing Intelligent Interpretation for Geology: From Perspective of Geological Exploration

Weitao Chen Couverture souple
58,50 $
Remote Sensing Intelligent Interpretation for Geology: From Perspective of Geological Exploration

Weitao Chen Couverture rigide
291,95 $
2 formats offerts
Augmented Cognition. Human Cognition and Behavior: 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Dylan D. Schmorrow Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 19th International Conference, ITMM 2020, Named after A.F. Terpugov, Tomsk, Russia, December 2-5, 2020, Revised Selected Papers

Alexander Dudin Couverture souple
80,50 $
2 formats offerts
DOS 4.1 Disk Operating System Second Edition

Walland Vrbancic Couverture rigide
52,95 $
Computer-Human Interaction Research and Applications: Second International Conference, CHIRA 2018, Seville, Spain, September 19-21, 2018 and Third International Conference, CHIRA 2019, Vienna, Austria, September 20-21, 2019, Revised Selected Papers

Maria Jose Escalona Couverture souple
80,50 $
2 formats offerts
Hierarchical Feature Selection For Knowledge Discovery: Application Of Data Mining To The Biology Of Ageing

Cen Wan Couverture souple
160,95 $
2 formats offerts
Finite Volumes For Complex Applications Ix - Methods, Theoretical Aspects, Examples: Fvca 9, Bergen, Norway, June 2020

Robert Klöfkorn Couverture souple
160,95 $
3 formats offerts
Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Koen De Bosschere Couverture souple
72,95 $
Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation: 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Jessie Y.c. Chen Couverture souple
80,50 $
2 formats offerts
Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Anca Muscholl Couverture souple
80,50 $
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Tiziana Margaria Couverture souple
145,95 $
2 formats offerts
Computer-Human Interaction Research and Applications: 7th International Conference, CHIRA 2023, Rome, Italy, November 16-17, 2023, Proceedings, Part II

Hugo Plácido da Silva Couverture souple
58,50 $

Évaluation éditoriale

bill roscoe

Auteur

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Gustavo Carvalho Couverture souple
102,50 $
2 formats offerts
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29-October 1, 2014. Proceedings

Christiano Braga Couverture souple
65,95 $
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

Sérgio Campos Couverture souple
87,95 $
2 formats offerts
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 Couverture souple
80,50 $
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Haniel Barbosa Couverture souple
80,50 $
2 formats offerts
Programming Languages: 19th Brazilian Symposium Sblp 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Alberto Pardo Couverture souple
65,95 $
2 formats offerts
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Haniel Barbosa Couverture souple
58,50 $
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings

Sidney C. Nogueira Couverture souple
94,95 $
Formal Aspects Of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Gwen Sala Couverture souple
72,95 $
2 formats offerts
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Lucas Lima Couverture souple
87,95 $
2 formats offerts
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers

Luis Soares Barbosa Couverture souple
80,50 $
Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings

Giancarlo Guizzardi Couverture souple
80,50 $
2 formats offerts
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Gilles Barthe Couverture souple
80,50 $
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings

Juergen Dingel Couverture souple
80,50 $
Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Laurence Tratt Couverture souple
80,50 $
Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Jun Pang Couverture souple
80,50 $
2 formats offerts
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Yamine Ait-ameur Couverture souple
80,50 $
2 formats offerts
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Zhenhua Duan Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV

Livre numérique Kobo
84,99 $ ~~Réduction sur le prix courant 105,68 $ à~~
2 formats offerts
Model and Data Engineering: Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings

Alfredo Cuzzocrea Couverture souple
80,50 $