Downloads & Free Reading Options - Results

Verification Of Sequential And Concurrent Programs by Krzysztof R. Apt

Read "Verification Of Sequential And Concurrent Programs" by Krzysztof R. Apt through these free online access and download options.

Search for Downloads

Search by Title or Author

Books Results

Source: The Internet Archive

The internet Archive Search Results

Available books for downloads and borrow from The internet Archive

1Verification Of Sequential And Concurrent Programs

By

“Verification Of Sequential And Concurrent Programs” Metadata:

  • Title: ➤  Verification Of Sequential And Concurrent Programs
  • Author:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 816.09 Mbs, the file-s for this book were downloaded 156 times, the file-s went public at Wed Mar 16 2022.

Available formats:
ACS Encrypted PDF - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Verification Of Sequential And Concurrent Programs at online marketplaces:


2Verification Of Sequential And Concurrent Programs

By

“Verification Of Sequential And Concurrent Programs” Metadata:

  • Title: ➤  Verification Of Sequential And Concurrent Programs
  • Author:
  • Language: English

“Verification Of Sequential And Concurrent Programs” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 722.09 Mbs, the file-s for this book were downloaded 149 times, the file-s went public at Wed Jun 24 2020.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Verification Of Sequential And Concurrent Programs at online marketplaces:


Top of Page

Source: The Open Library

The Open Library Search Results

Available books for downloads and borrow from The Open Library

1Verification of sequential and concurrent programs

By

Book's cover

“Verification of sequential and concurrent programs” Metadata:

  • Title: ➤  Verification of sequential and concurrent programs
  • Author:
  • Language: English
  • Number of Pages: Median: 403
  • Publisher: Springer-Verlag
  • Publish Date:
  • Publish Location: New York

“Verification of sequential and concurrent programs” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1991
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Verification of sequential and concurrent programs at online marketplaces:


Top of Page

Buy “Verification Of Sequential And Concurrent Programs” online:

Shop for “Verification Of Sequential And Concurrent Programs” on popular online marketplaces.