Proceedings on mathematical methods of specification and synthesis of software system'85

Bibel W Ed.

Proceedings on mathematical methods of specification and synthesis of software system'85 - Berlin Springer-Verlag 1986 - 245p. cm. - Lecture notes in computer science; 215 .

Standard No.: 73463

Source: Textual

Subjects--Topical Terms:
Computer programming

Dewey Class. No.: D65,8(B)92p1,N85, M6

Proceedings on mathematical methods of specification and synthesis of software system'85

APA

Bibel W Ed, Inter. spring sch. on mathematical methods of specification and synthesis of software system (1985 : Wendisch-Rietz) & Jantke K P Ed. (1986). Proceedings on mathematical methods of specification and synthesis of software system'85. Berlin: Springer-Verlag.

Chicago

Bibel W Ed, Inter. spring sch. on mathematical methods of specification and synthesis of software system (1985 : Wendisch-Rietz) and Jantke K P Ed. 1986. Proceedings on mathematical methods of specification and synthesis of software system'85. Berlin: Springer-Verlag.

Harvard

Bibel W Ed, Inter. spring sch. on mathematical methods of specification and synthesis of software system (1985 : Wendisch-Rietz) and Jantke K P Ed. (1986). Proceedings on mathematical methods of specification and synthesis of software system'85. Berlin: Springer-Verlag.

MLA

Bibel W Ed, Inter. spring sch. on mathematical methods of specification and synthesis of software system (1985 : Wendisch-Rietz) and Jantke K P Ed. Proceedings on mathematical methods of specification and synthesis of software system'85. Berlin: Springer-Verlag. 1986.

Place hold
Place recall
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Exporting to Dublin Core...

Simple DC-RDF

OAI-DC

SRW-DC