Cover von Formal specification techniques for engineering modular C programs wird in neuem Tab geöffnet

Formal specification techniques for engineering modular C programs

Verfasser: Suche nach diesem Verfasser Tan, Yang Meng
Verfasserangabe: by Tan Yang Meng
Jahr: 1996
Verlag: Boston, MA, Kluwer Academic Publ.
Reihe: The Kluwer international series in software engineering; 1

Exemplare

ZweigstelleSignaturMediengruppeBarcodeStandort 2
Zweigstelle: Zweibrücken, Hochsch Signatur: I411/76 Mediengruppe: Barcode: ZW004262 Standort 2:

Details

Verfasser: Suche nach diesem Verfasser Tan, Yang Meng
Verfasserangabe: by Tan Yang Meng
Jahr: 1996
Verlag: Boston, MA, Kluwer Academic Publ.
opens in new tab
Systematik: Suche nach dieser Systematik I411
Suche nach diesem Interessenskreis
ISBN: 0-7923-9653-7
Beschreibung: XVI, 213 S.: graph. Darst.
Reihe: The Kluwer international series in software engineering; 1
Suche nach dieser Beteiligten Person
Fußnote: Zugl.: Diss., 1994