m
     
Congrès

H 0 Symposium on semantics of algorithmic languages

Engeler, E. (Editeur)

Springer-Verlag

1971

978-3-540-05377-4

00021324

68Q45 ; 68N01 ; 68Q55 ; 68N17 ; 68P20 ; 68-06

conditionnel linéaire # expérience avec assertion inductive pour prouver la justesse # formalisation de propriété de stockage # justesse partielle # preuve de justesse de technique d'implémentation # procédure et paramétre (approche axiomatique) # schéma de programme et logique # structure et signification de programme élémentaire # synthèse de programme automatique # système d'axiome pour énoncé d'assignement simple # sémantique d'énoncé de type ALGOL # sémantique de langage algorithmique # sémantique formelle # théorie algébrique # treillis de diagramme de flot

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RFA

Langue : Anglais

EAN13 : 9783540053774

ISBN : 3-540-05377-8

Collation : 26 cm ; 369 p. ; Bibliogr. ; rel.

Collection : Lecture notes in mathematics

N° de collection : 0188

Localisation : Collection 1er étage

Notes : 3 volumes reliés ensemble L21323 à L21325

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00021324

[disponible]
Z