Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Name: Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Jim Woodcock
ISBN: 9783642104510

Marcel Vinícius Oliveira Édition : Jim Woodcock

9 novembre 2009

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

351

Programming and Software Engineering

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783642104510

Modern Data Engineering With Apache Spark: A Hands-On Guide for Building Mission-Critical Streaming Applications

Scott Haines Couverture souple
94,95 $
2 formats offerts
Gesture-Based Human-Computer Interaction and Simulation: 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers

Miguel Sales Dias Couverture souple
80,50 $
Self-Organizing Neural Networks: Recent Advances and Applications

Couverture souple
71,50 $
Expressing Information Flow Properties

Elisavet Kozyri Couverture souple
104,00 $
Beginning Java 8 Language Features: Lambda Expressions, Inner Classes, Threads, I/o, Collections, And Streams

Kishori Sharan Couverture souple
68,95 $
2 formats offerts
Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment: 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Jia Zhou Couverture souple
80,50 $
2 formats offerts
Designing User Interfaces For An Aging Population: Towards Universal Design

Jeff Johnson Couverture souple
73,95 $
2 formats offerts
A Practical Guide To Hybrid Natural Language Processing: Combining Neural Models And Knowledge Graphs For Nlp

Jose Manuel Gomez-perez Couverture rigide
262,95 $
A Practical Guide To Hybrid Natural Language Processing: Combining Neural Models And Knowledge Graphs For Nlp

Jose Manuel Gomez-perez Couverture souple
262,95 $
The Complete Idiot's Guide to SQL: Master the Language of Database Management

Steven Holzner Ph.D. Livre numérique Kobo
13,99 $
Clean Code with C# - Second Edition: Refactor your legacy C# code base and improve application performance using best practices

Jason Alls Couverture souple
63,99 $
Querying MariaDB: Use SQL Operations, Data Extraction, and Custom Queries to Make your MariaDB Database Analytics more Accessible (English Edition)

Adam Aspin Livre numérique Kobo
16,99 $ ~~Réduction sur le prix courant 20,48 $ à~~
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

Tomá Vojnar Couverture souple
87,95 $
2 formats offerts
Indexing on Non-Volatile Memory: Techniques, Lessons Learned and Outlook

Kaisong Huang Couverture souple
65,95 $
Indexing on Non-Volatile Memory: Techniques, Lessons Learned and Outlook

Kaisong Huang Couverture souple
58,50 $
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

Tomá Vojnar Couverture souple
87,95 $
2 formats offerts
Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Ivan Dimov Couverture souple
80,50 $
2 formats offerts
Multi-Sensor and Multi-Temporal Remote Sensing: Specific Single Class Mapping

Anil Kumar Couverture rigide
148,50 $
2 formats offerts
Java Lambdas And Parallel Streams

Michael Müller Couverture souple
33,95 $
2 formats offerts
Integration and Innovation Orient to E-Society Volume 1: Seventh IFIP International Conference on e-Business, e-Services, and e-Society (I3E2007), October 10-12, Wuhan, China

Weijun Wang Couverture souple
160,95 $
2 formats offerts

Évaluation éditoriale

jim woodcock

Auteur

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

Márcio Cornélio Couverture souple
65,95 $
2 formats offerts
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 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 $
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: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings

Sidney C. Nogueira Couverture souple
94,95 $
Performance Evaluation and Benchmarking for the Era of Artificial Intelligence: 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27-31, 2018, Revised Selected Papers

Raghunath Nambiar 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 $
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Haniel Barbosa Couverture souple
58,50 $
Agile Methods: 9th Brazilian Workshop, Wbma 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers

Graziela Simone Tonin Couverture souple
80,50 $
2 formats offerts
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Ricardo Rocha Couverture souple
80,50 $
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Gopal Gupta Couverture souple
80,50 $
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Ana Bove Couverture souple
80,50 $
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
Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, MEMICS 2014, TelA, Czech Republic, October 17-19, 2014, Revised Selected Papers

Petr Hlin Couverture souple
65,95 $
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Gilles Barthe Couverture souple
80,50 $
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

Mar Alpuente Couverture souple
80,50 $
Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

Michael Luck Couverture souple
80,50 $
Evolutionary Computation in Combinatorial Optimization: 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Christian Blum Couverture souple
80,50 $
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Mario Bravetti Couverture souple
80,50 $
Applications of Evolutionary Computation: 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Anna I. Esparcia-alc Couverture souple
160,95 $

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Description

Vous aimerez peut-être aussi

Modern Data Engineering With Apache Spark: A Hands-On Guide for Building Mission-Critical Streaming Applications

Gesture-Based Human-Computer Interaction and Simulation: 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers

Self-Organizing Neural Networks: Recent Advances and Applications

Expressing Information Flow Properties

Beginning Java 8 Language Features: Lambda Expressions, Inner Classes, Threads, I/o, Collections, And Streams

Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment: 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Designing User Interfaces For An Aging Population: Towards Universal Design

A Practical Guide To Hybrid Natural Language Processing: Combining Neural Models And Knowledge Graphs For Nlp

A Practical Guide To Hybrid Natural Language Processing: Combining Neural Models And Knowledge Graphs For Nlp

The Complete Idiot's Guide to SQL: Master the Language of Database Management

Clean Code with C# - Second Edition: Refactor your legacy C# code base and improve application performance using best practices

Querying MariaDB: Use SQL Operations, Data Extraction, and Custom Queries to Make your MariaDB Database Analytics more Accessible (English Edition)

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

Indexing on Non-Volatile Memory: Techniques, Lessons Learned and Outlook

Indexing on Non-Volatile Memory: Techniques, Lessons Learned and Outlook

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

Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Multi-Sensor and Multi-Temporal Remote Sensing: Specific Single Class Mapping

Java Lambdas And Parallel Streams

Integration and Innovation Orient to E-Society Volume 1: Seventh IFIP International Conference on e-Business, e-Services, and e-Society (I3E2007), October 10-12, Wuhan, China

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29-October 1, 2014. Proceedings

Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings

Performance Evaluation and Benchmarking for the Era of Artificial Intelligence: 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27-31, 2018, Revised Selected Papers

Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Agile Methods: 9th Brazilian Workshop, Wbma 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers

Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, MEMICS 2014, TelA, Czech Republic, October 17-19, 2014, Revised Selected Papers

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

Evolutionary Computation in Combinatorial Optimization: 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Applications of Evolutionary Computation: 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers