Sign-In
Cart
NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings
Paperback
Please select the version of book you would like to purchase.
ISBN10: 3642380875
ISBN13: 9783642380877
Publisher: Springer
Published: Apr 17 2013
Pages: 486
Weight: 1.56
Height: 1.03 Width: 6.14 Depth: 9.21
Language: English
ISBN13: 9783642380877
Publisher: Springer
Published: Apr 17 2013
Pages: 486
Weight: 1.56
Height: 1.03 Width: 6.14 Depth: 9.21
Language: English
Model checking.- Applications of formal methods.- Complex systems.- Static analysis.- Symbolic execution.- Requirements and specifications.- Probabilistic and statistical analysis.- Theorem proving.
Also in
Operating Systems
RHCSA Red Hat Enterprise Linux 10: Training and Exam Preparation Guide (EX200), Fourth Edition
Ghori, Asghar
Paperback
$72.00
I Have an App Idea: The Essential Guide to Building an App Without Tech Skills
Spann, Amanda
Paperback
$17.05
Microsoft Windows 11 - Tips & Tricks: Quickstudy Laminated Computer Reference Guide
Gatto, Katie
Other
$7.55
The Practice of System and Network Administration: Devops and Other Best Practices for Enterprise It, Volume 1
Hogan, Christina
Chalup, Strata
Limoncelli, Thomas
Paperback
$83.99
Laptops for Seniors in Easy Steps, 9th Edition: Covers All Laptops with the Windows 11 2024 Update
Vandome, Nick
Paperback
$23.74
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali
Occupytheweb
Paperback
$37.99
Microsoft Copilot Studio Step by Step: Customizing Copilot and Creating Agents
Crosbie, Lisa
Paperback
$71.99
Samsung Galaxy A17 5G User Guide: A Comprehensive, Step-by-Step Manual with Practical Tips for Beginners and Seniors
Gavriel, John
Paperback
$13.19
RHCSA Red Hat Enterprise Linux 9: Training and Exam Preparation Guide (EX200), Third Edition
Ghori, Asghar
Paperback
$57.60
The Wireless Cookbook: Build Real Projects and Master Wi-Fi, Bluetooth, and Lora
Zimmerman, Bill
Paperback
$56.99
Comptia A+ Certification All-In-One Exam Guide, Eleventh Edition (Exams 220-1101 & 220-1102)
Hutz, Andrew
Everett, Travis A.
Hardcover
$57.00
Exploring Windows 11 - 2025 Edition: The Illustrated, Practical Guide to Using Microsoft Windows
Wilson, Kevin
Paperback
$39.36
The Cathedral & the Bazaar: Musings on Linux and Open Source by an Accidental Revolutionary
Raymond, Eric S.
Paperback
$23.74
Microsoft 365 Copilot Adoption: A Practical Guide for Business Leaders and Consultants
Smith, Megan
Smith, Mark
Paperback
$41.99
The Linux Programming Interface: A Linux and Unix System Programming Handbook
Kerrisk, Michael
Hardcover
$94.99
What On Earth is a Mainframe?: An Introduction to IBM Z Mainframes and z/OS Operating System for Total Beginners
Stephens, David
Paperback
$24.38
Windows 11 Manual For Seniors: A Beginners Guide to Navigate Your Computer with Step-by-Step Instructions
Wells, Larry
Paperback
$16.24
Linux Mint Cinnamon Edition: A Complete Guide for Beginners and Advanced Users
Rodgers, David A., Jr.
Paperback
$17.72
Android Studio Panda Essentials - Java Edition: Developing Android Apps Using Android Studio Panda and Java
Smyth, Neil
Paperback
$58.74
Mac for Seniors - Sonoma Edition: The illustrated, Step-by-step guide on how to use MacOS (Large Print Edition)
Wilson, Kevin
Paperback
$33.74
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Paperback
$62.49
Master Zorin OS 18: A Complete Hands-On Guide to Linux Mastery with Zorin OS 18
Mykel, Ross
Paperback
$14.39
Windows Internals: System Architecture, Processes, Threads, Memory Management, and More, Part 1
Solomon, David
Yosifovich, Pavel
Russinovich, Mark
Paperback
$74.99
The Accidental Administrator: Cisco Router Step-by-Step Configuration Guide
Crawley, Don R.
Paperback
$38.00
Cyberdeck Grimoire: A Beginner's Field Manual to Building Your Own Portable Computer: A Beginner's Field Manual to Building Your Own
Lane Publishing, Zinnia
Paperback
$23.74
Windows 11 Tips, Tricks & Shortcuts in Easy Steps: 1000+ Tips, Tricks and Shortcuts
Vandome, Nick
Paperback
$18.04
Effective Shell: A Practical User's Guide to Working Smarter on the Command Line
Kerr, Dave
Paperback
$47.49
How to Build Android Applications with Kotlin - Third Edition: A hands-on guide to developing, testing, and publishing production-grade Android 16 app
Forrester, Alex
Boudjnah, Eran
Dumbravan, Alexandru
Paperback
$62.49
Comptia A+ Complete Study Guide: Core 1 Exam 220-1101 and Core 2 Exam 220-1102
Docter, Quentin
Buhagiar, Jon
Paperback
$59.85
MacBook Neo User Guide: Seniors and Beginners Easy to follow Manual With ILLUSTRATIONS to Master Their Device Quickly [Tips and Trips included]
Klaywood Philip, Sans
Paperback
$31.19
Linux Kernel Programming - Second Edition: A comprehensive and practical guide to kernel internals, writing modules, and kernel synchronization
Billimoria, Kaiwan N.
Paperback
$62.49
Linux: A Complete Guide to Learn Linux Commands, Linux Operating System and Shell Scripting Step-by-Step
Ayden, Nicholas
Paperback
$17.96
A Handbook for Mainframe z/OS Enterprise Architects - Architecture and Design of Large-Scale Environments
Sahoo, Natabar
Paperback
$29.00
Don't Be Afraid of the Mainframe: The Missing Introduction for IT Leaders and Professionals
de Greef, Niek
Paperback
$37.95
Android Phone User Guide for Seniors: A Beginner-Friendly Guide to Calling, Texting, Photos, Apps & Online Safety
Foster, Henry L.
Paperback
$19.19
Developing Inclusive Mobile Apps: Building Accessible Apps for IOS and Android
Whitaker, Rob
Paperback
$56.99
Linux: The ultimate guide to Linux for beginners, Linux hacking, Linux command line, Linux operating system, and more!
Newport, Craig
Paperback
$14.24
Mastering Windows Server 2022 - Fourth Edition: Comprehensive administration of your Windows Server environment
Krause, Jordan
Paperback
$112.49
Learning the VI and VIM Editors: Power and Agility Beyond Just Text Editing
Robbins, Arnold
Hannah, Elbert
Paperback
$62.69
Powershell Cookbook: Your Complete Guide to Scripting the Ubiquitous Object-Based Shell
Holmes, Lee
Paperback
$85.49
Chatgpt: A Guide to Making Money With Chatgpt (Creative Ways for Teens and Young Adults to Make Money With Chatgpt)
Trotter, Thomas
Paperback
$18.95
Understanding the Linux Kernel: From I/O Ports to Process Management
Bovet, Daniel P.
Cesati, Marco
Paperback
$66.49
Learn FileMaker Pro 2024: The Comprehensive Guide to Building Custom Databases
Munro, Mark Conway
Paperback
$94.99
Practical Linux System Administration: A Guide to Installation, Configuration, and Management
Hess, Kenneth
Paperback
$75.99
Debian 13.3 "Trixie" Desktop Handbook: A Practical Guide to Installing, Securing, and Mastering the Debian Linux Desktop - From Install to Advanced Ad
Rodgers, David A., Jr.
Paperback
$17.72
iPhone for Seniors - iOS 15 Edition: The illustrated, Step-by-step guide on how to use iPhone (Large Print Edition)
Wilson, Kevin
Paperback
$31.24
Arduino Software Internals: A Complete Guide to How Your Arduino Language and Hardware Work Together
Dunbar, Norman
Paperback
$52.24
Canva User Guide For Beginners: Design Stunning Graphics for Social Media, Business, and More
Caden, Clara
Paperback
$24.99
Head First Android Development: A Learner's Guide to Building Android Apps with Kotlin
Griffiths, David
Griffiths, Dawn
Paperback
$85.49
Hotwire Native for Rails Developers: Build Native Mobile Apps Using Your Server
Masilotti, Joe
Paperback
$71.21
Mastering Embedded Linux Development - Fourth Edition: Craft fast and reliable embedded solutions with Linux 6.6 and The Yocto Project 5.0 (Scarthgap)
Vasquez, Frank
Simmonds, Chris
Paperback
$62.49
The Ultimate Linux Shell Scripting Guide: Automate, Optimize, and Empower tasks with Linux Shell Scripting
Tevault, Donald a.
Paperback
$68.74
Ubuntu 26.04 LTS: A Comprehensive Guide for Beginners and Advanced Users
Rodgers, David A., Jr.
Paperback
$17.99
iPad for Seniors - iPadOS 16 Edition: The illustrated, Step-by-step guide on how to use iPad (Large Print Edition)
Wilson, Kevin
Paperback
$31.24