Tracked shipping to New Zealand with premium packaging for just NZ$15 

Ship to
New Zealand
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Pepperdine Papers on Linear Temporal Logic
Type
Physical Book
Author
Publisher
Language
English
Pages
252
Format
Paperback
Dimensions
27.9 x 21.6 x 1.3 cm
Weight
0.59 kg.
ISBN13
9781667140940
Categories

Pepperdine Papers on Linear Temporal Logic

J. Stanley Warford (Author) · David Vega (Author) · Scott M. Staley (Author) · Lulu.com · Paperback

Pepperdine Papers on Linear Temporal Logic - Warford, J. Stanley ; Vega, David ; Staley, Scott M.

New Book Imported to New Zealand
Delivery: 06 Jul - 13 Jul Shipping: 5 to 6 business days.
NZ$ 58.40
Import costs and 15% GST included in the price ✅
NZ$ 58.40

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Pepperdine Papers on Linear Temporal Logic"

This book, Pepperdine Papers on Linear Temporal Logic, documents the research conducted over many years at Pepperdine University culminating in the recent publication of: J. Stanley Warford, David Vega, and Scott M. Staley. 2020. A Calculational Deductive System for Linear Temporal Logic. ACM Comput. Surv. 53, 3, Article 53 (June 2020), 38 pages, https: //doi.org/10.1145/3387109 which is freely available for download from the link given above. This book was written with three goals in mind. First, to make the complete documentation of this work widely accessible to engineers and scientists working in this, and related fields. Due to publication page limitations only a small sample of the results of this work could be published in the ACM Computing Surveys article. Second, to update the reader on additional new results that were completed subsequent to the submission of the article to the peer-review process. And, third, to report on related supporting work that was conducted using the automated theorem proving software, ACL2, to confirm a significant number of the calculational proofs. Our hope is that together, the ACM article and this book, can be a significant resource for students and researchers working on LTL specification of reactive and concurrent systems. The audience for this book, Pepperdine Papers on Linear Temporal Logic, includes university students at the undergraduate and graduate levels in computer science, mathematics, software engineering and systems design. This book may also be of interest to practicing professionals and educators in both industry and academia.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews