Sign-In
Cart
Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Paperback
ISBN13: 9783030309411
Publisher: Springer
Published: Sep 15 2019
Pages: 774
Weight: 2.42
Height: 1.59 Width: 6.14 Depth: 9.21
Language: English
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.
The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.
Also in
Programming
The Pragmatic Programmer: Your Journey to Mastery, 20th Anniversary Edition
Thomas, David
Hunt, Andrew
Hardcover
The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide: Collector's Edition
Piggyback
Hardcover
Cracking the Coding Interview: 189 Programming Questions and Solutions
McDowell, Gayle Laakmann
Paperback
The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide: Standard Edition
Piggyback
Paperback
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Matthes, Eric
Paperback
Accelerate: The Science of Lean Software and DevOps: Building and Scaling High Performing Technology Organizations
Kim, Gene
Forsgren Phd, Nicole
Humble, Jez
Paperback
Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C: Fourth Edition
Zhu, Yifeng
Paperback
SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL
Shields, Walter
Hardcover
Learning Php, MySQL & JavaScript: A Step-By-Step Guide to Creating Dynamic Websites
Nixon, Robin
Paperback
The Manager's Path: A Guide for Tech Leaders Navigating Growth and Change
Fournier, Camille
Paperback
The Staff Engineer's Path: A Guide for Individual Contributors Navigating Growth and Change
Reilly, Tanya
Paperback
Automate the Boring Stuff with Python, 2nd Edition: Practical Programming for Total Beginners
Sweigart, Al
Paperback
The Official Raspberry Pi Handbook 2025: Projects, Tutorials, Interviews, and Reviews from the Magpi Magazine
Makers of the Magpi Magazine, The
Paperback
Head First JavaScript Programming: A Learner's Guide to Modern JavaScript
Freeman, Eric
Robson, Elisabeth
Paperback
This Is Service Design Doing: Applying Service Design Thinking in the Real World
Hormess, Markus Edgar
Stickdorn, Marc
Lawrence, Adam
Paperback
The DevOps Handbook: How to Create World-Class Agility, Reliability, & Security in Technology Organizations
Humble, Jez
Debois, Patrick
Kim, Gene
Paperback
Building AI-Powered Products: The Essential Guide to AI and Genai Product Management
Nika, Marily
Paperback
Head First Design Patterns: Building Extensible and Maintainable Object-Oriented Software
Robson, Elisabeth
Freeman, Eric
Paperback
Learning Web Design: A Beginner's Guide to Html, Css, Javascript, and Web Graphics
Robbins, Jennifer
Paperback
Spies, Lies, and Algorithms: The History and Future of American Intelligence
Zegart, Amy B.
Paperback
Pro C# 10 with .Net 6: Foundational Principles and Practices in Programming
Troelsen, Andrew
Japikse, Phil
Paperback
Software Architecture: The Hard Parts: Modern Trade-Off Analyses for Distributed Architectures
Sadalage, Pramod
Ford, Neal
Richards, Mark
Paperback
Head First C#: A Learner's Guide to Real-World Programming with C# and .Net
Stellman, Andrew
Greene, Jennifer
Paperback
Design Patterns: Elements of Reusable Object-Oriented Software
Gamma, Erich
Helm, Richard
Johnson, Ralph
Hardcover
Embedded Systems with Arm Cortex-M Microcontrollers in Assembly Language and C: Third Edition
Zhu, Yifeng
Paperback
Serious Cryptography, 2nd Edition: A Practical Introduction to Modern Encryption
Aumasson, Jean-Philippe
Paperback
Make: Electronics: Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast
Platt, Charles
Paperback
Gestión práctica de proyectos con Scrum: Desarrollo de software ágil para el Scrum Master
Martel, Antonio
Paperback
Concrete Mathematics: A Foundation for Computer Science
Graham, Ronald
Patashnik, Oren
Knuth, Donald
Hardcover
Leading Quality: How Great Leaders Deliver High Quality Software and Accelerate Growth
Cummings -. John, Ronald
Peer, Owais
Paperback
Learn OpenGL: Learn modern OpenGL graphics programming in a step-by-step fashion.
de Vries, Joey
Paperback
Living a Jewish Life, Revised and Updated: Jewish Traditions, Customs, and Values for Today's Families
Diamant, Anita
Cooper, Howard
Paperback
Electronic Music and Sound Design - Theory and Practice with Max 8 - Volume 1 (Fourth Edition)
Cipriani, Alessandro
Giri, Maurizio
Paperback
Data Visualization with Microsoft Power Bi: How to Design Savvy Dashboards
Zelensky, Maxim
Kolokolov, Alex
Paperback
Dark Souls: Beyond the Grave Volume 1: Demon's Souls -- Dark Souls -- Dark Souls II
Romieu, Sylvain
Mecheri, Damien
Hardcover
Video Game of the Year: A Year-By-Year Guide to the Best, Boldest, and Most Bizarre Games from Every Year Since 1977
Minor, Jordan
Paperback
Electronic Music and Sound Design - Theory and Practice with Max 8 - volume 3
Cipriani, Alessandro
Giri, Maurizio
Paperback
Aprenda Visual Basic (Vba) Y Macros Para Excel: Más de 100 ejercicios resueltos, macros y juegos, para desarrollar tus habilidades de programación
Vidal Bosch, Josep Ramon
Paperback
Modern Software Engineering: Doing What Works to Build Better Software Faster
Farley, David
Paperback
Computer Science Distilled: Learn the Art of Solving Computational Problems
Ferreira Filho, Wladston
Paperback
The Digital Photography Book: The Step-By-Step Secrets for How to Make Your Photos Look Like the Pros'!
Kelby, Scott
Paperback
Electronic Music and Sound Design - Theory and Practice with Max 8 - Volume 2 (Third Edition)
Giri, Maurizio
Cipriani, Alessandro
Paperback
Linux Basics for Hackers: Getting Started with Networking, Scripting, and Security in Kali
Occupytheweb
Paperback
iPhone 8 Guide: The iPhone Manual for Beginners, Seniors & for All iPhone Users
Brave, Dale
Paperback
Javascript: The Definitive Guide: Master the World's Most-Used Programming Language
Flanagan, David
Paperback
JavaScript Crash Course: A Hands-On, Project-Based Introduction to Programming
Morgan, Nick
Paperback
SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL
Shields, Walter
Paperback
Software Wasteland: How the Application-Centric Mindset is Hobbling our Enterprises
McComb, Dave
Paperback
Workday Gold: A Collection of Keith Bitikofer's #WorkdayTips Focused on Software Functionality 2021-2023
Bitikofer, Keith
Paperback
Dark Souls: Beyond the Grave Volume 2: Bloodborne €" Dark Souls III
Romieu, Sylvain
Mecheri, Damien
Hardcover
Prompt Engineering for Llms: The Art and Science of Building Large Language Model-Based Applications
Ziegler, Albert
Berryman, John
Paperback
Simple SysML for Beginners: Using CATIA No Magic Products
Braun, Frank
Hetherington, David
Casse, Olivier
Paperback
The Practice of Enterprise Architecture: A Modern Approach to Business and IT Alignment
Kotusev, Svyatoslav
Hardcover
Python Machine Learning By Example - Fourth Edition: Unlock machine learning best practices with real-world use cases
Liu, Yuxi (Hayden)
Paperback
Designing Distributed Systems: Patterns and Paradigms for Scalable, Reliable Systems Using Kubernetes
Burns, Brendan
Paperback
Python Basics: A Practical Introduction to Python 3
Bader, Dan
Jablonski, Joanna
Heisler, Fletcher
Paperback