algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne RDA

Language : English

EAN13 : 9783540614647

ISBN : 3-540-61464-8

Collation : 24 cm#broch. ; Bibliogr. ; Index

Series : Lecture notes in computer science

Nb in series : 1103

Location : Collection 1er étage

Event Number : 7

Event Year : 1996

City of congres : New Brunswick

Country of congres : États-Unis

ACM code : D.3 ; F.3.2 ; F.4 ; I.1 ; I.2.2

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies