Index
 
Operating Systems
Java
Programming Languages
Hardware
Microsoft Technologies
Computer Science
Database
Network
Software Engineering
XML and XSL
Internet
Web Programming
Web Technologies
Physics
Bio-Chemistry
Mathematics
Medical
Redbooks
Unlisted/Miscellaneous

Contact Us

Freebookzone.com | What's New | Missing Link | Feedback

Networking



Book Title : Design and Validation of Computer Protocols
eBook download format(s) : HTML ZIP 
ISBN-10 : 0135399254 
ISBN-13 : 978-0-135399-25-5 
Author(s) : Gerard Holzmann
Publisher : Prentice Hall (Nov 1990)
Section : Networking
Book Review:

From the Back Cover
This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanations of new protocol validation and design tool called SPIN. Author is in charge of protocol design at Bell Labs. Professionals who bought Tanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP will buy this. This is the first book to cover automated protocol design and validation tools extensively.




add to del.icio.us                 Digg Freebookzone.com!

You may use anyone of the download options


eBook VersionBuy this book from Amazon
Front Cover

Missing Link?, Report It and try these 2 + 1 alternates...
  
     Buy 


Tell a Friend!

Similar Book titles in Networking section:
Introduction to Computer, Internet & Network Systems Security
Computer Networks and Internets
Internetworking Design Guide
Computer Networks
Cisco CCIE Fundamentals: Network Design
Cisco - Designing Network Security
Cisco CCIE Fundamentals: Network Design & Case Studies
Advanced IP Network Design (CCIE Professional Development)
Cisco IP Telephony Network Design Guide
Cisco IP Telephony QoS Design Guide
Cisco AVVID & IP Telephony - Design & Implementation
Network Associates Guide to Communication Protocols
Cisco CCIE Fundamentals: Network Design
Designing a Wireless Network
Wireless Technology: Protocols, Standards, and Techniques
Fundamentals of Switching Theory and Logic Design: A Hands on Approach


Similar Book titles in Other sections:

Section: CS -> Compilers and Languages
Advanced Programming Language Design
Advanced Programming Language Features for Executable Design Patterns -Better Patterns Through Reflection
The Design of Functional Programs - A Calculational Approach
Basics of Compiler Design


Section: Data Structures and Algorithms
Introduction to Computer Graphics
Data Structures and Algorithm with Object-Oriented Design Patterns in Java
Data Structure and Algorithm with Object-Oriented Design Patterns in Cpp
Data Structure and Algorithm with Object-Oriented Design Patterns in CSharp
Concepts, Techniques, and Models of Computer Programming
Show all..


Section: Multimedia & Game Development
Simulating Humans: Computer Graphics Animation and Control
So you want to be a Computer Game Developer?
Macromedia Flash MX Game Design Demystified
Advanced Flash Interface Design


Section: CS -> Hardware
Computer Architecture Tutorial
Advanced Computer Architecture Notes
Advanced Computer Architecture Tutorials
Computer Structures: Principles and Examples
Computer Structures: Readings and Examples
Show all..


Section: Parallel Computing
Designing and Building Parallel Programs


Section: CS -> Theory
Introduction to Computer Science I
Foundations of Computer Science
An Introduction to the Theory of Computation (Principles of Computer Science Series)
How to Think Like a Computer Scientist: Learning with Python
How to Think Like a Computer Scientist: Learning with LOGO
Show all..


Section: DB -> Others
Relational Database Design - Structures and Terminology
Relational Database Index Design and the Optimizers


Section: Computer Hardware
Hardware Design Guide for Microsoft Windows NT Server
Hardware Design Guide for Microsoft Windows 2000 Server
The Hand-Me-Down PC: Upgrading and Repairing Personal Computers
Beginning Computer Hardware Guide
Scott Mueller Library - Computer Dictionary
Show all..


Section: Device Drivers
Device Driver Hardening Design Specification


Section: Logic Design and Architecture
Computer Aids for VLSI Design, Second Edition
Bit-Slice Design: Controllers and ALUs
Contemporary Logic Design
DESIGN AND ANALYSIS OF FAST LOW POWER SRAMs
Design Issues In CMOS Differential LC Oscillators
Show all..


Section: Microprocessor
Low Power System Design Considerations
Mixed-signal and DSP Design Techniques


Section: Peripherals
PCI Audio Design Guide for Embedded Systems
Plug and Play Design Specification for IEEE 1394


Section: Internet
Computer Security Basics 2nd Edition


Section: Advanced Java
Java Au Naturel - Guide to Object Oriented Design, 4th Edition
Java Design Pattern: A Tutorial
Introduction to Computer Science Using Java
Interface Design: Best Practices in Object-Oriented API Design in Java


Section: Java Enterprise Edition
Designing Enterprise Applications with J2EE
EJB Design Patterns: Advanced Patterns, Processes, and Idioms
Designing Enterprise Applications with the J2EE Platform


Section: Java User Interface
Java Look and Feel Design Guidelines: Advanced Topics


Section: Java Language
The Design Patterns: Java Companion
Java Look and Feel Design Guidelines, Second Edition


Section: Mathematics
Mathematical Foundations of Computer Science
Vector Math for 3D Computer Graphics - An Interactive Tutorial
The Unknowable (Discrete Mathematics and Theoretical Computer Science)
Logic for Computer Science: Foundations of Automatic Theorem Proving
Numerical Methods for Electrical and Computer Engineers
Show all..


Section: Miscellaneous
The Art of Computer Game Design
Computer Vision and Image Processing
Academic Careers for Experimental Computer Scientists and Engineers
Applied Cryptography: Protocols, Algorithms, and Source Code in C, 2nd Edition
Probabilistic Design
Show all..


Section: Microsoft Certifications
MCSE Training Guide - Active Directory Design - Exam 70-219
MCSE Training - 70-221 - Networking Infrastructure Design (New Riders)


Section: Microsoft C Sharp (C#)
Data Structures and Algorithms with Object-Oriented Design Patterns in C#


Section: Microsoft .(dot) net
Application Architecture for .NET: Designing Applications and Services


Section: Microsoft Windows Servers
Microsoft Windows Server 2003 TCP/IP Protocols and Services Technical Reference
Designing & Implementing Microsoft Proxy Server
Designing & Implementing Microsoft Index Server
Designing and Implementing Microsoft Internet Information Server


Section: Microsoft Visual Basic
Visual Basic Design Patterns
Microsoft Visual Basic Design Patterns


Section: MS Web Technologies
Designing Secure Web Based Applications For Microsoft Windows 2000


Section: Other Engineering
Modern Antenna Design 2nd Edition
Design for Construction
Marine Structural Design
Structural Engineering, Analysis and Design


Section: GNU/Linux OS
Practical File System Design - with the BE File System


Section: Embedded and RTOS
Embedded System Design: A Unified Hardware/Software Approach


Section: OS Theory
The Common Man's Guide to Operating System Design
Operating Systems: Internals and Design Principles, Fourth Edition
EW Dijkstra Archive: My recollections of operating system design
The Interaction of Architecture and Operating System Design
Project Oberon - The Design of an Operating System and Compiler
Show all..


Section: Assembly Language
The Art of Computer Programming


Section: C++ Language
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
Software Design Using C++
An Introduction to Design Patterns in C++ with Qt 4


Section: Other Programming
Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
Common Lisp: An Interactive Approach (Principles of Computer Science Series)
Seamless Object-Oriented Software Architecture: Analysis and Design of Reliable Systems
A Functional Pattern System for Object-Oriented Design
Stack Computers: the new wave
Show all..


Section: Perl Scripting
Perl Design Patterns


Section: Scripting
Thinking in Python: Design Patterns and Problem-Solving Techniques
Concrete Abstractions: An Introduction to Computer Science Using Scheme


Section: Smalltalk
Smalltalk, Objects, and Design
Squeak: Object-Oriented Design with Multimedia Applications


Section: Redbooks Draft
Understanding SOA Security Design and Implementation
Infrastructure solutions: Design, Manage, and Optimize a 60 TB NetWeaver Business Intelligence data warehouse
Patterns: SOA Design using WMB V6 and WESB
Patterns: SOA Design using WebSphere Message Broker and WebSphere ESB
Infrastructure Solutions: Design, Manage, and Optimize a 20 TB SAP BW Warehouse
Show all..


Section: Redbooks
Identity Management Advanced Design for IBM Tivoli Identity Manager
WebSphere Application Server V6.1: Planning and Design
Understanding SOA Security Design and Implementation
Infrastructure Solutions: Design, Manage, and Optimize a 20 TB SAP NetWeaver Business Intelligence Data Warehouse
Endpoint Security and Compliance Management Design Guide Using IBM Tivoli Endpoint Manager
Show all..


Section: IBM Technotes
Best Practices for OnDemand Application Design and Configuration


Section: Redpapers
The Role of IBM System z in the design of a Service Oriented Architecture
IBM Sales Center With Computer Telephony Integration
High Throughput Computing Validation for Drug Discovery Using the DOCK Program on a Massively Parallel System
WebSphere Process Server Versioning: From Design to Production
NAS / N series Solution Design for Real-time Compression Appliances
Show all..


Section: Redpapers Draft
IBM Sales Center for WebSphere Commerce with Computer Telephony Integration
Case Study: SOA Design Scenario
Integrating the IBM Integration Designer with IBM WebSphere DataPower SOA Appliances
Assess, Design, Implement and Manage Continuous Availability


Section: Software Engineering
How to Design Programs: An Introduction to Programming and Computing
Quality Attribute Design Primitives
The Architecture Based Design Method
Supercomputers: Directions in Technology and Applications
Task-Centered User Interface Design - A Practical Introduction
Show all..


Section: Telecommunication
RF CIrcuit Design
Mobile Telecommunications Protocols for Data Networks


Section: Software Testing
A Practitioner's Guide to Software Test Design


Section: Web Programming
Web Design in a Nutshell
Ajax Design Patterns


Section: Web Technology
The Web Design CD Bookshelf
Introduction to Web Design
Web Style Guide: Basic Design Principles for Creating Web Sites
Introduction to Web Design
Designing Web Audio
Show all..


Similar Books from Amazon :


Tell a Friend!


©2008 FreeBookZone.com - Home - Privacy Policy - Program Policy, Terms and Conditions