English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
"Multiplexed Networks for Embedded Systems: CAN, LIN, Flexray, Safe-by-Wire..." by Dominique Paret (Repost)
Dino Esposito, "Building Web Solutions with ASP.Net and ADO.NET" (Repost)
Learning Core Audio: A Hands-On Guide to Audio Programming for Mac and iOS
Power Performance - Multimedia Storytelling for Journalism and Public Relations
pluralsight-training.net SQL Server: Transact-SQL Basic Data Retrieval [2012, ENG]
pluralsight-training.net SQL Server: Collecting and Analyzing Trace Data [2012, ENG]
Pluralsight.net - Introduction to Nancy-JWARE
Technical Structured Programming with C++
Technical Getting Started with LaTeX by David R. Wilkins
Windows A Third Window - Natural Life beyond Newton and Darwin
PLURALSIGHT.NET WINDOWS 8 METRO CONNECTED APPS-JGTiSO
PLURALSIGHT.NET WINDOWS 8 METRO APPLICATION DATA-JGTiSO
PLURALSIGHT.NET BUILDING WINDOWS 8 METRO APPS WITH C PLUS PLUS AND XAML-JGTiSO
PLURALSIGHT.NET BUILDING WINDOWS 8 METRO APPS WITH C SHARP AND XAML-JGTiSO
PLURALSIGHT.NET INTRODUCTION TO BUILDING WINDOWS 8 METRO APPLICATIONS-JGTiSO
Multimedia over IP and Wireless Networks - Compression, Networking, and Systems
Interactive Distributed Multimedia Systems and Telecommunication Services
The Art of Hardware Architecture - Design Methods and Techniques for Digital Circuits
Pro/ENGINEER WILDFIRE 5.0 Tutorial and MultiMedia CD
Useful Links
Technical Specifying Systems by Leslie Lamport
Posted on 2010-04-05
|  |
This book shows how to write unambiguous specifications of complex computer systems. The first part provides an introduction to specification, explaining how to describe the behavioral properties of a system. The second part covers liveness and fairness, real-time properties, and composition. Final two parts provide a complete reference manual for the TLA+ language and tools, as well as a handy mini-manual.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link 1 | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | History/Military Leslie Benson: Yugoslavia Yugoslavia: A Concise HistoryPalgrave Macmillan | 2002-03-20 | ISBN: 0333792416 | PDF | Pages 224 | 1.25 MBToday, only Serbia and (for now) Montenegro are what remain of the republics that once constituted Yugoslavia. The former Kingdom of ... |
 | Business/Investing J. Leslie McKeown - Retaining Top Employees J. Leslie McKeown - Retaining Top EmployeesMcGraw-Hill | 2002 | ISBN: 0071387560 | Pages: 230 | PDF | 11.5 MBAll managers, whether brand-new to their positions or well established in the corporate hierarchy, can use a little "brushing up" n ... |
 | Leslie Stroebel Leslie Stroebel "Basic Photographic Materials and Processes, 2 Ed"Focal Press | 2000-03-06 | ISBN: 0240804058 | 440 pages | PDF | 16 Mb An essential resource for understanding how photography works and how to solve the many problems ... |
 | Leslie M. Orchard , «Hacking del.icio.us» Leslie M. Orchard , «Hacking del.icio.us»Wiley | PDF |ISBN: 0470037857 | July 2006 | 381 Pages | 15,59 MbShare the wealth¨Cdel.icio.us is a publicly viewable bookmarks manager that allows users to easily add favorite sites to a personal ... |
 | Lyrics & Music Ryan Leslie-Used to Be-2007-
|
 | Leslie Sansone - You Can Do
|
Comments (0)
