منو
رکورد قبلیرکورد بعدی

" Towards a formal description of Ada "


Document Type : BL
Record Number : 745919
Doc. No : b565868
Main Entry : edited by D. Bjørner and O.N. Oest.
Title & Author : Towards a formal description of Ada\ edited by D. Bjørner and O.N. Oest.
Publication Statement : Berlin ; New York : Springer-Verlag, 1980
Series Statement : Lecture notes in computer science, 98.
Page. NO : (xii, 630 pages)
ISBN : 3540384154
: : 9783540384151
Contents : The DDC Ada compiler development method --; A denotational (static) semantics method for defining Ada context conditions --; A formal semantics definition of sequential Ada --; Parallelism in Ada --; The design of a virtual machine for Ada.
Subject : Ada (Computer program language)
Subject : ADA.
Subject : Programming languages (Electronic computers) -- Semantics.
LC Classification : ‭QA76.73.A35‬‭E358 1980‬
Added Entry : D Bjørner
: O N Oest
copyhttps://lib.clisel.com/site/catalogue/745919
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟