Wikimedia Commons

File:The formal specification of computer systems using Petri Nets. (IA formalspecificat00karr).pdf

Go to page
next page →
next page →
next page →

Original file ‎(1,187 × 1,577 pixels, file size: 5.77 MB, MIME type: application/pdf, 140 pages)

Captions

Captions

Add a one-line explanation of what this file represents

Summary

edit
The formal specification of computer systems using Petri Nets.   (Wikidata search (Cirrus search) Wikidata query (SPARQL)  Create new Wikidata item based on this file)
Author
Karrasch, Klaus.;Davis, Daniel Lee,
image of artwork listed in title parameter on this page
Title
The formal specification of computer systems using Petri Nets.
Description
Thesis advisor, Daniel Davis
Available from National Technical Information Service, Springfield, Va
ADA188947
Thesis (M.S. in Computer Science) Naval Postgraduate School, Dec. 1987
Bibliography: p. 126-127
c.1, c.2

Subjects: Computer science
Language en_US
Publication date 1 December 1987, 00:00:00
Current location
IA Collections: navalpostgraduateschoollibrary; fedlink; americana
Accession number
formalspecificat00karr
Notes some content may be lost due to the binding of the book.
Authority file  OCLC: 1045585421
Source
Internet Archive identifier: formalspecificat00karr
https://archive.org/download/formalspecificat00karr/formalspecificat00karr.pdf

Licensing

edit
Public domain
This work is in the public domain in the United States because it is a work prepared by an officer or employee of the United States Government as part of that person’s official duties under the terms of Title 17, Chapter 1, Section 105 of the US Code. Note: This only applies to original works of the Federal Government and not to the work of any individual U.S. state, territory, commonwealth, county, municipality, or any other subdivision. This template also does not apply to postage stamp designs published by the United States Postal Service since 1978. (See § 313.6(C)(1) of Compendium of U.S. Copyright Office Practices). It also does not apply to certain US coins; see The US Mint Terms of Use.
This file has been identified as being free of known restrictions under copyright law, including all related and neighboring rights.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current18:00, 5 July 2020Thumbnail for version as of 18:00, 5 July 20201,187 × 1,577, 140 pages (5.77 MB)Fæ (talk | contribs)FEDLINK - United States Federal Collection formalspecificat00karr (User talk:Fæ/IA books#Fork8) (batch 1987-1989 #3738)

You cannot overwrite this file.

Metadata

This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.

Retrieved from "https://commons.wikimedia.org/w/index.php?title=File:The_formal_specification_of_computer_systems_using_Petri_Nets._(IA_formalspecificat00karr).pdf&oldid=646980750"