sign in

Username Password

Forget Password ? ? Click Here

Don't Have An Account ? Create One

sign up

name Username Email Mobile Password

To contact us, you can contact us via the following mobile numbers by calling and WhatsApp


+989115682731 Connect To WhatsApp
+989917784643 Connect To WhatsApp
EnglishEnglish SpanishSpanish PortuguesePortuguese FrenchFrench GermanGerman ChineseChinese

Unlimited Access

For Registered Users

Secure Payment

100% Secure Payment

Easy Returns

10 Days Returns

24/7 Support

Call Us Anytime

Programming Languages and Their Definition: H. Bekič (1936–1982) 1984 book

Programming Languages and Their Definition: H. Bekič (1936–1982)

Details Of The Book

Programming Languages and Their Definition: H. Bekič (1936–1982)

Category: programming
edition: 1 
Authors: ,   
serie: Lecture Notes in Computer Science 177 
ISBN : 354013378X, 9783540133780 
publisher: Springer-Verlag Berlin Heidelberg 
publish year: 1984 
pages: 284 
language: English 
ebook format : DJVU (It will be converted to PDF, EPUB OR AZW3 if requested by the user) 
file size: 2 MB 

price : $8.9 10 With 11% OFF



Your Rating For This Book (Minimum 1 And Maximum 5):

User Ratings For This Book:       


You can Download Programming Languages and Their Definition: H. Bekič (1936–1982) Book After Make Payment, According to the customer's request, this book can be converted into PDF, EPUB, AZW3 and DJVU formats.


Abstract Of The Book



Table Of Contents

Note on a test example for ALGOL60 compilers by D.E. Knuth....Pages 1-1
The assignment to a type procedure identifier in ALGOL60....Pages 2-3
The meaning of names in PL/I....Pages 4-16
Defining a language in its own terms....Pages 17-25
Note on some problems concerning the PL/I manual and its re-writing....Pages 26-29
Definable operations in general algebras, and the theory of automata and flowcharts....Pages 30-55
Formalization of storage properties....Pages 56-85
On the formal definition of programming languages....Pages 86-106
A formal definition of a PL/I subset....Pages 107-155
Mathematical semantics and compiler correctness....Pages 156-167
Towards a mathematical theory of processes....Pages 168-206
From comments arising from a lecture in Amsterdam, June 1972....Pages 207-214
The semantics of parallel processing....Pages 215-229
Nondeterministic functions and the semantics of CSP....Pages 230-239
Nondeterministic programs : An example....Pages 240-247
A model of nondeterminism: Indexed sets and their equivalence....Pages 248-254




Comments Of The Book