Provably correct systems : modelling of communication languages and design of optimized compilers

Provably correct systems modelling of communication languages and design of optimized compilers

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Jifeng, He (VerfasserIn)
Weitere Verfasser: He, Jifeng (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London u.a. McGraw-Hill 1995
Schriftenreihe:The McGraw-Hill international series in software engineering
Schlagworte:
Computers (Software) > Software engineering > Programming languages (Electronic computers) > Compilers (Computer programs) > Programm > Korrektheit
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!