Downloads & Free Reading Options - Results

An Introduction To Formal Specification And Z by Ben Potter

Read "An Introduction To Formal Specification And Z" by Ben Potter 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

1An Introduction To Discrete Mathematics, Formal System Specification, And Z

By

“An Introduction To Discrete Mathematics, Formal System Specification, And Z” Metadata:

  • Title: ➤  An Introduction To Discrete Mathematics, Formal System Specification, And Z
  • Author:
  • Language: English

“An Introduction To Discrete Mathematics, Formal System Specification, And Z” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 755.69 Mbs, the file-s for this book were downloaded 163 times, the file-s went public at Wed Jun 26 2019.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - 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 An Introduction To Discrete Mathematics, Formal System Specification, And Z at online marketplaces:


2An Introduction To Formal Specification With Z And VDM

By

“An Introduction To Formal Specification With Z And VDM” Metadata:

  • Title: ➤  An Introduction To Formal Specification With Z And VDM
  • Author:
  • Language: English

“An Introduction To Formal Specification With Z And VDM” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 709.36 Mbs, the file-s for this book were downloaded 33 times, the file-s went public at Tue Jul 07 2020.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - 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 An Introduction To Formal Specification With Z And VDM at online marketplaces:


3An Introduction To Formal Specification And Z

By

“An Introduction To Formal Specification And Z” Metadata:

  • Title: ➤  An Introduction To Formal Specification And Z
  • Author:
  • Language: English

“An Introduction To Formal Specification And Z” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 479.64 Mbs, the file-s for this book were downloaded 24 times, the file-s went public at Fri Sep 24 2021.

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 An Introduction To Formal Specification And Z at online marketplaces:


4An Introduction To Formal Specification And Z

By

“An Introduction To Formal Specification And Z” Metadata:

  • Title: ➤  An Introduction To Formal Specification And Z
  • Author:
  • Language: English

“An Introduction To Formal Specification And Z” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 704.56 Mbs, the file-s for this book were downloaded 76 times, the file-s went public at Thu Aug 20 2020.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - 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 An Introduction To Formal Specification And Z at online marketplaces:


Source: The Open Library

The Open Library Search Results

Available books for downloads and borrow from The Open Library

1An introduction to formal specification and Z

By

Book's cover

“An introduction to formal specification and Z” Metadata:

  • Title: ➤  An introduction to formal specification and Z
  • Author:
  • Language: English
  • Number of Pages: Median: 369
  • Publisher: Prentice Hall
  • Publish Date:
  • Publish Location: New York - London

“An introduction to formal specification and Z” 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 An introduction to formal specification and Z at online marketplaces:


Source: LibriVox

LibriVox Search Results

Available audio books for downloads from LibriVox

1Great Big Treasury of Beatrix Potter

By

Book's cover

Born in Victorian London on July 28th, 1866, Beatrix Potter created some of the best-loved children’s stories of all time. Starting with Peter Rabbit and moving through the rest of these delightful tales, the Great Big Treasury of Beatrix Potter will warm the hearts both of those who remember her fondly from their childhoods and those who discover for the first time the magic of these timeless stories. (Summary by Chip)

“Great Big Treasury of Beatrix Potter” Metadata:

  • Title: ➤  Great Big Treasury of Beatrix Potter
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 19
  • Total Time: 3:31:51

Edition Identifiers:

  • libriVox ID: 385

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 19 sections

Online Access

Download the Audio Book:

  • File Name: potter_treasury_librivox
  • File Format: zip
  • Total Time: 3:31:51
  • Download Link: Download link

Online Marketplaces

Find Great Big Treasury of Beatrix Potter at online marketplaces:


2Great Big Treasury of Beatrix Potter (version 2)

By

Book's cover

The Treasury contains nineteen stories written by Beatrix Potter. The most famous story is Peter Rabbit, which features a naughty young rabbit who learns the value of listening to his mother. (Summary by Jenny Lundak)

“Great Big Treasury of Beatrix Potter (version 2)” Metadata:

  • Title: ➤  Great Big Treasury of Beatrix Potter (version 2)
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 19
  • Total Time: 3:57:14

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 19 sections

Online Access

Download the Audio Book:

  • File Name: treasury_beatrixpotter_0910
  • File Format: zip
  • Total Time: 3:57:14
  • Download Link: Download link

Online Marketplaces

Find Great Big Treasury of Beatrix Potter (version 2) at online marketplaces:


3Peggy's Trial

By

Ten-year old Peggy Clayton and her two younger brothers, Teddy and Harry, live with their father, Dr. Clayton, and Nurse, a woman who has taken care of them since the death of their mother when Peggy was five. Peggy is a sweet and kind little girl with a big imagination and a great sense of fun. Peggy's Trial follows her adventures with her friends at school, the mischief she and her brothers cause poor old Nurse, and even Peggy’s being chased by a bull. But nothing can prepare Peggy, Teddy and Harry when they fear they may lose their beloved father to a stepmother. (Summary by Lee Ann Howlett.)

“Peggy's Trial” Metadata:

  • Title: Peggy's Trial
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 11
  • Total Time: 1:39:58

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Number of Sections: 11 sections

Online Access

Download the Audio Book:

  • File Name: peggys_trial_1202_librivox
  • File Format: zip
  • Total Time: 1:39:58
  • Download Link: Download link

Online Marketplaces

Find Peggy's Trial at online marketplaces:


4Collection of Beatrix Potter Stories

By

Book's cover

What can we say about the delightful Beatrix Potter stories? Starting with the naughty Peter Rabbit and his misadventures, progressing through The Tale of Mrs. Tiggy-Winkle whose funny name is just the start of the interesting things about her, then expounding on the Tale of Jemima Puddle-Duck, and many many more, these stories are all gems of the art of story telling. This is your chance to enjoy reading them aloud and recording them for children to enjoy listening to in the years and decades to come. Aren't you curious to learn more about the Fierce Bad Rabbit? Or the Tale of the Two Bad Mice? This is your chance to read aloud. And remember to have fun !! - Summary by Phil Chenevert

“Collection of Beatrix Potter Stories” Metadata:

  • Title: ➤  Collection of Beatrix Potter Stories
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 14
  • Total Time: 02:25:13

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 14 sections

Online Access

Download the Audio Book:

  • File Name: collectionofbeatrixpotterstories_1409_librivox
  • File Format: zip
  • Total Time: 02:25:13
  • Download Link: Download link

Online Marketplaces

Find Collection of Beatrix Potter Stories at online marketplaces:


5Travels in Lancashire

By

A collection of fiction, non-fiction and poetry on travels in Lancashire, England, with occasional sorties into adjacent counties. - Summary by Phil Benson

“Travels in Lancashire” Metadata:

  • Title: Travels in Lancashire
  • Authors:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 20
  • Total Time: 07:41:59

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Number of Sections: 20 sections

Online Access

Download the Audio Book:

  • File Name: travels_lancashire_1510_librivox
  • File Format: zip
  • Total Time: 07:41:59
  • Download Link: Download link

Online Marketplaces

Find Travels in Lancashire at online marketplaces:


6Collection of Beatrix Potter Stories (Version 2 Dramatic Reading)

By

Book's cover

Beatrix Potter's delightful stories come to life in this LibriVox recording of some of her most famous tales. This collection is extra special because it was read by children for children. Come along as we experience the well-loved stories of Peter Rabbit, Jemima Puddle Duck, Tom Kitten, and many others! Summary by Adele de Pignerolles.<br><br>The Tale of Peter Rabbit<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Mrs. Rabbit: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br>Peter Rabbit: <a href="https://librivox.org/reader/10423" rel="nofollow">Johnny Smith</a> <br>Mr. McGregor: <a href="https://librivox.org/reader/10422" rel="nofollow">Eddy Sherman</a><br><br>The Tale of Benjamin Bunny<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Mrs. Rabbit: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br>Benjamin Bunny: <a href="https://librivox.org/reader/10422" rel="nofollow">Eddy Sherman</a><br>Peter Rabbit: <a href="https://librivox.org/reader/10423" rel="nofollow">Johnny Smith</a><br><br>The Tale of the Flopsy Bunnies<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Mr. McGregor: <a href="https://librivox.org/reader/10422" rel="nofollow">Eddy Sherman</a><br>Mrs. McGregor: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br><br>The Roly-Poly Pudding<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Mittens: Lukie<br>Mrs. Tabitha Twitchit: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br>Cousin Ribby: <a href="https://librivox.org/reader/8886" rel="nofollow">Esther ben Simonides</a><br>Moppett: <a href="https://librivox.org/reader/8886" rel="nofollow">Esther ben Simonides</a><br>Tom Kitten: <a href="https://librivox.org/reader/10423" rel="nofollow">Johnny Smith</a><br>Samuel Whiskers: <a href="https://librivox.org/reader/10422" rel="nofollow">Eddy Sherman</a><br>Anna Maria: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br><br>The Tale of Mr. Tod<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Tommy Brock: Lukie<br>Mr. Bouncer: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br>Benjamin Bunny: <a href="https://librivox.org/reader/10422" rel="nofollow">Eddy Sherman</a><br>Peter Rabbit: <a href="https://librivox.org/reader/10423" rel="nofollow">Johnny Smith</a><br>Mr. Tod: <a href="https://librivox.org/reader/8886" rel="nofollow">Esther ben Simonides</a><br><br>The Tale of Mrs. Tiggy-Winkle<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Lucie: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br>Mrs. Tiggy-Winkle: <a href="https://librivox.org/reader/8886" rel="nofollow">Esther ben Simonides</a><br>Sally Henny-Penny: Lukie<br><br>The Tale of Ginger and Pickles<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Ginger: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br>Pickles: <a href="https://librivox.org/reader/10422" rel="nofollow">Eddy Sherman</a><br>Sally Henny-Penny: Lukie<br>Mr. John Dormouse: <a href="https://librivox.org/reader/10423" rel="nofollow">Johnny Smith</a><br><br>The Story of Miss Moppet<br>Miss Moppet: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br><br>The Tale of Mr. Jeremy Fisher<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Mr. Jeremy Fisher: <a href="https://librivox.org/reader/10423" rel="nofollow">Johnny Smith</a><br><br>The Tale of Timmy Tiptoes<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Timmy Tiptoes: <a href="https://librivox.org/reader/10423" rel="nofollow">Johnny Smith</a><br>Goody Tiptoes: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br>First Little Bird: <a href="https://librivox.org/reader/10031" rel="nofollow">Rupert Holliday</a><br>Second Little Bird: Lukie<br>Silvertail Squirrel: <a href="https://librivox.org/reader/10031" rel="nofollow">Rupert Holliday</a><br>Chippy Hackee: <a href="https://librivox.org/reader/10422" rel="nofollow">Eddy Sherman</a><br>Mrs. Chippy Hackee: <a href="https://librivox.org/reader/8886" rel="nofollow">Esther ben Simonides</a><br><br>The Pie and the Patty-Pan<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Cousin Ribby: <a href="https://librivox.org/reader/8886" rel="nofollow">Esther ben Simonides</a><br>Duchess: <a href="https://librivox.org/reader/8886" rel="nofollow">Esther ben Simonides</a><br>Mrs. Tabitha Twitchit: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br>Dr. Maggotty: <a href="https://librivox.org/reader/10031" rel="nofollow">Rupert Holliday</a><br><br>The Tale of Jemima Puddle Duck<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Mrs. Rebeccah Puddle-Duck: <a href="https://librivox.org/reader/8886" rel="nofollow">Esther ben Simonides</a><br>Jemima Puddle-Duck: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br>Kep: <a href="https://librivox.org/reader/10423" rel="nofollow">Johnny Smith</a><br>The Gentleman with the sandy whiskers: <a href="https://librivox.org/reader/10422" rel="nofollow">Eddy Sherman</a><br><br>The Tale of Pigling Bland<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Aunt Pettitoes: <a href="https://librivox.org/reader/8886" rel="nofollow">Esther ben Simonides</a><br>Alexander: <a href="https://librivox.org/reader/10422" rel="nofollow">Eddy Sherman</a><br>Pigling Bland: <a href="https://librivox.org/reader/10423" rel="nofollow">Johnny Smith</a><br>The policeman: <a href="https://librivox.org/reader/10031" rel="nofollow">Rupert Holliday</a><br>The hen: <a href="https://librivox.org/reader/8886" rel="nofollow">Esther ben Simonides</a><br>A broody hen: Lukie<br>Mr. Peter Thomas Piperson: <a href="https://librivox.org/reader/10031" rel="nofollow">Rupert Holliday</a><br>Pig-wig: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br>The grocer: Lukie<br><br>The Tale of Two Bad Mice<br>Narrator: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Tom Thumb: <a href="https://librivox.org/reader/10423" rel="nofollow">Johnny Smith</a><br>Hunca Munca: <a href="https://librivox.org/reader/8886" rel="nofollow">Esther ben Simonides</a><br>The little girl: <a href="https://librivox.org/reader/10313" rel="nofollow">Rosalynn</a><br>The nurse: <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br><br>Audio edited by <a href="https://librivox.org/reader/9446" rel="nofollow">Adele de Pignerolles</a><br>Additional proof listening done by <a href="https://librivox.org/reader/8886" rel="nofollow">Esther ben Simonides</a>

“Collection of Beatrix Potter Stories (Version 2 Dramatic Reading)” Metadata:

  • Title: ➤  Collection of Beatrix Potter Stories (Version 2 Dramatic Reading)
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 14
  • Total Time: 02:19:53

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 14 sections

Online Access

Download the Audio Book:

  • File Name: beatrixpotterstories_1705_librivox
  • File Format: zip
  • Total Time: 02:19:53
  • Download Link: Download link

Online Marketplaces

Find Collection of Beatrix Potter Stories (Version 2 Dramatic Reading) at online marketplaces:


7Mother Earth, Vol. 1 No. 1, March 1906

By

Book's cover

"Mother Earth was an American anarchist journal that described itself as "A Monthly Magazine Devoted to Social Science and Literature". Founded in early 1906 and initially edited by Emma Goldman, an activist in the United States, it published articles by contemporary activists and writers in Europe as well as the US, in addition to essays by historic figures." This is Volume 1 of the series - Summary by Wikepedia

“Mother Earth, Vol. 1 No. 1, March 1906” Metadata:

  • Title: ➤  Mother Earth, Vol. 1 No. 1, March 1906
  • Authors: ➤  
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 17
  • Total Time: 02:34:10

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: motherearth0101_1907_librivox
  • File Format: zip
  • Total Time: 02:34:10
  • Download Link: Download link

Online Marketplaces

Find Mother Earth, Vol. 1 No. 1, March 1906 at online marketplaces:


8The Tale of Peter Rabbit and Others

By

These are some of the wonderful little stories about animals written by Beatrix Potter. The disobedient little Peter who sneaks where he should not go and gets into a scary situation is just one of her nifty tales. This is storytelling at its best: warm and fuzzy and sometimes with a moral for little ears, but not too often. Welcome to the hippity-hoppity world of bunnies and other little creatures who have difficulties but always find a way out. - Summary by Phil Chenevert

“The Tale of Peter Rabbit and Others” Metadata:

  • Title: ➤  The Tale of Peter Rabbit and Others
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 18
  • Total Time: 02:57:33

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Number of Sections: 18 sections

Online Access

Download the Audio Book:

  • File Name: thetaleofpeterrabbitandothers_2008_librivox
  • File Format: zip
  • Total Time: 02:57:33
  • Download Link: Download link

Online Marketplaces

Find The Tale of Peter Rabbit and Others at online marketplaces:


9Castle of Twilight

By

Book's cover

"Wistfully I deliver up to you my simple story, knowing that the first suggestion of “historical novel” will bring before you an image of dreary woodenness and unceasing carnage. Yet if you will have the graciousness but to unlock my castle door you will find within only two or three quiet folk who will distress you with no battles nor strange oaths. Even in the days of rival Princes and never-ending wars there dwelt still a few who took no part in the moil of life, but lived with gentle pleasures and unvoiced sorrows, somewhat as you and I; wherefore, I pray you, cross the moat. The drawbridge is down for you, and will not be raised, if, after introduction to the Chatelaine, you desire speedily to retreat." - Summary by Margaret Horton Potter

“Castle of Twilight” Metadata:

  • Title: Castle of Twilight
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 16
  • Total Time: 08:45:58

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 16 sections

Online Access

Download the Audio Book:

  • File Name: castle_of_twilight_2103_librivox
  • File Format: zip
  • Total Time: 08:45:58
  • Download Link: Download link

Online Marketplaces

Find Castle of Twilight at online marketplaces:


Buy “An Introduction To Formal Specification And Z” online:

Shop for “An Introduction To Formal Specification And Z” on popular online marketplaces.