Book PDf: Software Abstractions: Logic, Language, and Analysis

Download Software Abstractions: Logic, Language, and Analysis

Author: Daniel Jackson

ISBN: 9780262017152

Publisher: The MIT Press

Year: 2012

Publisher Edition (Original Quality)

Save

User Rating: (0.0):

File Size

2.03 MB

Pages

373.0

Price: 6.99€

Description

Introduction to the book Software Abstractions: Logic, Language, and Analysis The book Software Abstractions: Logic, Language, and Analysis, written by Deffieux and Descamps, is considered one of the most important works in its field. This book contains valuable and useful content that is highly suitable for those interested in this subject.

About the book Software Abstractions: Logic, Language, and Analysis By drawing on the authors' experience and knowledge, this work provides readers with comprehensive and practical information.

Experience downloading the book Software Abstractions: Logic, Language, and Analysis through the Cyber Uni website.

Best Selling Books
Digital Libraries: Research...
Digital Libraries: Research and Development: First International DELOS Conference, Pisa,...
Author:

Michal Batko, David...

Year:

2007

Self-Stabilization
Self-Stabilization
Author:

Shlomi Dolev

Year:

2000

Theoretical Aspects of...
Theoretical Aspects of Distributed Computing in Sensor Networks
Author:

Sotiris Nikoletseas, José...

Year:

2011