Skip to content
VuFind
Institutional Login
Language
English
Deutsch
Čeština
Slovak
Testovacia prevádzka
Search in PRIMO
Catalog
E knihy CVTI SR
Summon (testovací prístup)
EBSCO Discovery Service (testovací prístup)
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Thedesign of well-structures a...
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Save to List
Permanent link
Loading…
Thedesign of well-structures and correct programs /
Saved in:
Bibliographic Details
Main Authors:
Alagić, Suad
(Author)
,
Arbib, Michael A.
(Author)
Format:
Book
Language:
Czech
Published:
New York :
Springer,
1978
Series:
rz1
Online Access:
Tags:
Add Tag
No Tags, Be the first to tag this record!
Holdings
Description
Comments
Similar Items
Staff View
Be the first to leave a comment!
Your Comment
You must be logged in first
Similar Items
Proving programs correct /
by: Anderson, Robert Brockett, 1941-
Published: (1979)
Projektirovanije korrektnych strukturirovannych programm /
by: Alagic, Suad, et al.
Published: (1984)
AUTOMATIC CORRECTION AND IMPROVEMENT OF PROGRAMS /
by: Wertz, H.
Published: (1987)
Mathematical theory of program correctness /
by: Bakker, Jaco de
Published: (1980)
Formal foundations of correct programming /
by: Novitzká, Valerie
Published: (1999)