Sign-In
Cart
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos, Cyprus, June 6-8, 2007 Proceedi
Paperback
ISBN13: 9783540729198
Publisher: Springer
Published: May 25 2007
Pages: 317
Weight: 1.13
Height: 0.77 Width: 6.30 Depth: 9.16
Language: English
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007.
The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.
Also in
Networking
CompTIA Network+ Certification All-in-One Exam Guide, Ninth Edition (Exam N10-009)
Weissman, Jonathan S.
Paperback
The Groundbreaker: Entrepreneurship, the American Dream, and the Rise of Modern India
Rekhi, Kanwal
Hardcover
The Wireless Cookbook: Build Real Projects and Master Wi-Fi, Bluetooth, and Lora
Zimmerman, Bill
Paperback
The Practice of System and Network Administration: Devops and Other Best Practices for Enterprise It, Volume 1
Chalup, Strata
Limoncelli, Thomas
Hogan, Christina
Paperback
Home Assistant for Beginners: Build a private smart home without relying on the cloud
Haagenrud, Thom
Paperback
Mobile Forensic Investigations: A Guide to Evidence Collection, Analysis, and Presentation, Second Edition
Reiber, Lee
Paperback
Cilium: Up and Running: Cloud Native Networking, Security, and Observability
Laverack, James
Vibert, Nico
Nikolic, Filip
Paperback
Computer Science Unleashed: Harness the Power of Computational Systems
Ferreira Filho, Wladston
Pictet, Raimondo
Paperback
AI Data Center Network Design and Technologies
Subramaniam, Mahesh
Styszynski, Michal
Tambakuwala, Himanshu
Paperback
Mastering the Togaf(r) Standard: A Practical Translation of the World's Leading Architecture Framework
Jager, Eric
Paperback
Meshtastic: A Comprehensive Guide to Off-Grid Mesh Communication: Second Edition
Rodgers, David A., Jr.
Paperback
31 Days Before Your CCNA Exam: A Day-By-Day Review Guide for the CCNA 200-301 Certification Exam
Johnson, Allan
Paperback
Learn Computer Forensics - Second Edition: Your one-stop guide to searching, analyzing, acquiring, and securing digital evidence
Oettinger, William
Paperback
Root cause: Stories and Lessons from Two Decades of Backend Engineering Bugs
Nasser, Hussein
Paperback
Industrial Cybersecurity - Second Edition: Efficiently monitor the cybersecurity posture of your ICS environment
Ackerman, Pascal
Paperback
Zero Trust Networks: Building Secure Systems in Untrusted Networks
Rais, Razi
Morillo, Christina
Gilman, Evan
Paperback
Red Team Engineering: The Art of Building Offensive Tools and Infrastructure
Erdmann, Casey
Paperback
The Accidental Administrator: Cisco Router Step-by-Step Configuration Guide
Crawley, Don R.
Paperback
High Performance Browser Networking: What Every Web Developer Should Know about Networking and Web Performance
Grigorik, Ilya
Paperback
IA desde cero: Inteligencia Artificial explicada de forma fácil
García García-Tuñón, Susana
Paperback
Cisco ASA for Accidental Administrators: An Illustrated Step-by-Step ASA Learning and Configuration Guide
Crawley, Don R.
Paperback
Cisco CCNA Command Guide: An Introductory Guide for CCNA & Computer Networking Beginners
Nastase, Ramon
Paperback
Hands-On Network Forensics: Investigate network attacks and find evidence using common network forensic tools
Jaswal, Nipun
Paperback
CCNP and CCIE Enterprise Core & CCNP Enterprise Advanced Routing Portable Command Guide: All Encor (350-401) and Enarsi (300-410) Commands in One Comp
Gargano, Patrick
Empson, Scott
Paperback
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Paperback
Engineering Trustworthy Systems: Get Cybersecurity Design Right the First Time
Saydjari, O. Sami
Paperback
Network Programmability and Automation: Skills for the Next-Generation Network Engineer
Oswalt, Matt
Adell, Christian
Lowe, Scott S.
Paperback
Delta Lake: The Definitive Guide: Modern Data Lakehouse Architectures with Data Lakes
Wentling, Tristen
Haines, Scott
Lee, Denny
Paperback
Crafting Great APIs with Domain-Driven Design: Collaborative Craftsmanship of Asynchronous and Synchronous APIs
Junker, Annegret
Lazzaretti, Fabrizio
Paperback
CCNP and CCIE Data Center Core Dccor 350-601 Official Cert Guide
Nikolov, Iskren
Maloo, Somit
Ahmed, Firas
Paperback
Learning API Styles: Understanding the Trade-Offs of Common APIs and Choosing the Correct Solutions
Dynowski, Lukasz
Dulak, Marcin
Paperback
A Complete Guide to Agentforce: Plan, Design, Build and Run AI Agents with Salesforce
Kovala, Timo
Paperback
Mike Meyers' Comptia Network+ Guide to Managing and Troubleshooting Networks, Sixth Edition (Exam N10-008)
Jernigan, Scott
Paperback
ITIL(R) 4 Create, Deliver and Support (CDS): Your companion to the ITIL 4 Managing Professional CDS certification
Agutter, Claire
Paperback
Gray Hat Hacking: The Ethical Hacker's Handbook, Sixth Edition
Harper, Allen
Linn, Ryan
Sims, Stephen
Paperback
Linux for Makers: Understanding the Operating System That Runs Raspberry Pi and Other Maker Sbcs
Newcomb, Aaron
Paperback
A Beginner's Guide to Mainframe z/OS Networking - Connecting and Communicating in the Mainframe World - Book 5
Sahoo, Natabar
Paperback
Linux Kernel Programming - Second Edition: A comprehensive and practical guide to kernel internals, writing modules, and kernel synchronization
Billimoria, Kaiwan N.
Paperback
Business Data Communications & IT Infrastructures
Daniel, Clinton
Connolly, Amy
Agrawal, Manish
Paperback
The Home Network Manual: The Complete Guide to Setting Up, Upgrading, and Securing Your Home Network
Buchanan, Marlon
Paperback
Starlink Made Simple: A Step-by-Step Guide to Setting Up, Using, and Mastering SpaceX's Satellite Internet
Mavis, Taylor
Paperback
Wireshark Certified Network Analyst Exam Prep Guide (Second Edition): WCNA Official Exam Prep Guide
Chappell, Laura
Paperback
Electronics Projects with the Esp8266 and Esp32: Building Web Pages, Applications, and Wifi Enabled Devices
Cameron, Neil
Paperback
Mastering Windows Server 2022 - Fourth Edition: Comprehensive administration of your Windows Server environment
Krause, Jordan
Paperback
AWS for Solutions Architects - Third Edition: Design and scale secure AWS architectures with GenAI strategies and real-world patterns
Thakur, Dhiraj
Shrivastava, Saurabh
Srivastav, Neelanjali
Paperback
Fatal Abstraction: Revolutionizing Strategy and Innovation for the Age of AI
Nichols, Michael
Paperback
Enterprise Guide for Implementing Generative AI and Agentic AI: A Practical Guide to Developing, Deploying, and Operationalizing Ai-Driven Application
Edward, Shakuntala Gupta
Bhattacharya, Rahul
Sinha, Vikas
Paperback
The Elements of Networking Style: And Other Essays & Animadversions on the Art of Intercomputer Networking
Padlipsky, M. a.
Paperback
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Hardcover
CCNP Data Center Application Centric Infrastructure 300-620 Dcaci Official Cert Guide
Ahmadi, Ammar
Hardcover
UNIX in a Nutshell: A Desktop Quick Reference - Covers Gnu/Linux, Mac OS X, and Solaris
Robbins, Arnold
Paperback
Time Management for System Administrators: Stop Working Late and Start Working Smart
Limoncelli, Thomas A.
Paperback
Mastering Palo Alto Networks - Third Edition: The complete journey to firewall mastery from setup to advanced security
'Reaper', Tom Piens Aka
Paperback
Security Operations Center: Building, Operating, and Maintaining Your Soc
Alfardan, Nadhem
Muniz, Joseph
McIntyre, Gary
Paperback
Comando de Linux: Una guía completa para principiantes para aprender los reinos del comando Linux desde A-Z
Vance, William
Paperback
The Fraud Fighter's AI Playbook: Strategies for the Genai Era
Maraney, Shoshana
Zamir, Chen
Saporta, Gilit
Paperback
iPhone 8: The User Guide For all iPhone 8, iPhone 8 Plus and older iPhone model Users
Binjeh, Jhale
Paperback
Migrating to SAP S/4hana: Operating Models, Migration Scenarios, Tools, and Implementation
Densborn, Frank
Finkbohner, Frank
Höft, Martina
Hardcover
Computer Networking for Beginners: The Beginner's guide for Mastering Computer Networking, the Internet and the OSI Model
Nastase, Ramon Adrian
Paperback
Enterprise Architecture with Sap: Planning, Management, and Transformation
Reichel, Johannes
Das, Anup
Klee, Peter
Paperback
Hacking Exposed Industrial Control Systems: ICS and Scada Security Secrets & Solutions
Bodungen, Clint
Singer, Bryan
Shbeeb, Aaron
Paperback
Asterisk: The Definitive Guide: Open Source Telephony for the Enterprise
Madsen, Leif
Meggelen, Jim Van
Bryant, Russell
Paperback
ITIL 4 Digital and IT Strategy (DITS): Your companion to the ITIL 4 Strategic Leader DITS certification
Agutter, Claire
Paperback
IP Subnetting for Beginners: Your Complete Guide to Master IP Subnetting in 4 Simple Steps
Nastase, Ramon A.
Paperback
Cisco CCNA Command Guide: An Introductory Guide for CCNA & Computer Networking Beginners
Nastase, Ramon
Paperback
Beginning Lora Radio Networks with Arduino: Build Long Range, Low Power Wireless Iot Networks
Seneviratne, Pradeeka
Paperback
Development and Deployment of Multiplayer Online Games, Vol. II: DIY, (Re)Actors, Client Arch., Unity/UE4/ Lumberyard/Urho3D
Hare, 'No Bugs'
Hardcover
Switching, Routing, and Wireless Essentials Labs and Study Guide (Ccnav7)
Johnson, Allan
Cisco Networking Academy
Paperback
IDS and IPS with Snort 3: Get up and running with Snort 3 and discover effective solutions to your security issues
Thomas, Ashley
Paperback
Hands-On Ethical Hacking Tactics: Strategies, tools, and techniques for effective cyber defense
Hartman, Shane
Paperback
Wireless Security Architecture: Designing and Maintaining Secure Wireless for Enterprise
Minella, Jennifer
Paperback
Perceptrons, Reissue of the 1988 Expanded Edition with a New Foreword by Léon Bottou: An Introduction to Computational Geometry
Minsky, Marvin
Papert, Seymour A.
Paperback
Practical Lakehouse Architecture: Designing and Implementing Modern Data Platforms at Scale
Thalpati, Gaurav Ashok
Paperback
Silence on the Wire: A Field Guide to Passive Reconnaissance and Indirect Attacks
Zalewski, Michal
Paperback
Agentic AI in Enterprise: Harnessing Agentic AI for Business Transformation
Chembachere, Divya
Lobo, Lanwin
Ranjan, Sumit
Paperback
TCP/IP Illustrated, Volume 3: TCP for Transactions, Http, Nntp, and the UNIX Domain Protocols
Stevens, W.
Paperback
Intelligent Iot Analytics: Concepts and Real-World Applications
Mahendra, Adhiguna
Rinaldi, Ekki
Paperback
Ethernet: The Definitive Guide: Designing and Managing Local Area Networks
Zimmerman, Joann
Spurgeon, Charles E.
Paperback
iOS Forensics for Investigators: Take mobile forensics to the next level by analyzing, extracting, and reporting sensitive evidence
Tiepolo, Gianluca
Paperback
Client Logbook: A client log book is a written record of a client's interactions with a particular service or organization.
Publishing, Myjwc
Paperback
CompTIA A+ Practice Test Core 1 (220-1101): Over 500 practice questions to help you pass the CompTIA A+ Core 1 exam on your first attempt
Neil, Ian
Birch, Mark
Paperback
Segment Routing for Service Provider and Enterprise Networks
Hoxha, Leonir
Deragisch, Florian
Minder, Rene
Paperback
Ansible: Up and Running: Automating Configuration Management and Deployment the Easy Way
Meijer, Bas
Hochstein, Lorin
Moser, René
Paperback
Network Security with OpenSSL: Cryptography for Secure Communications
Viega, John
Messier, Matt
Chandra, Pravir
Paperback
Samsung Galaxy A16 5g User Guide for Beginners and Seniors: Samsung Galaxy A16 5g User Guide for Beginners and Seniors
Macvey, Elliot A. a.
Paperback
Cwna Certified Wireless Network Administrator Study Guide: Exam Cwna-108
Westcott, David A.
Coleman, David D.
Paperback
The Iot Hacker's Handbook: A Practical Guide to Hacking the Internet of Things
Gupta, Aditya
Paperback
Top 20 Essential Skills for ArcGIS Utility Network
Cremons, Christopher
Myers, Remi
Mayo, Melissa L.
Paperback
Network Programming in Elixir and ERLANG: Write High-Performance, Scalable, and Reliable Apps with TCP and Udp
Leopardi, Andrea
Paperback