Computer Books › semantics of programming languages structures

Formal Semantics of Programming Languages : [proceedings of a Symposium] September 14-16 1970 9780133290608 Used / Pre-owned

CONDITION – USED: Books sold are in GOOD or better condition. Good Condition: Minimal damage to the cover dust jacket may not be included minimal wear to binding most of the pages undamaged(e.g. minimal creases or tears) highlighting / underlining... more

Pre-Owned Theoretical Aspects of Object-Oriented Programming : Types Semantics and Language Design 9780262071550 /

This book brings together the most important contributions to its development to date focusing in particular on how advances in type systems and semantic models can contribute to new language designs. CONDITION – USED: Books sold are in GOOD or... more

Pre-Owned The Structure of Typed Programming Languages 9780262193498

CONDITION – USED: Books sold are in GOOD or better condition. Good Condition: Minimal damage to the cover dust jacket may not be included minimal wear to binding most of the pages undamaged(e.g. minimal creases or tears) highlighting / underlining... more

Pre-Owned Programming languages information structures and machine organization BWB13118531

CONDITION – USED: Books sold are in GOOD or better condition. Good Condition: Minimal damage to the cover dust jacket may not be included minimal wear to binding most of the pages undamaged(e.g. minimal creases or tears) highlighting / underlining... more

Pre-Owned Programming language structures (Hardcover) 0125282605 9780125282604

from the preface: In their initial contact with computer programming many students have been exposed to only one programming language. This book is designed to take such students further into thesubject of programming by emphasizing the structures of... more

From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security (Paperback)

This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold... more

Programming Language Theory and Formal Methods (Hardcover)

In this book - we present topics from: formal grammars in programming programming languages semantics finite automata and formal methods and semantics in distributed software. Section 1 focuses on formal methods in programming describing integrating... more

Pre-Owned Java Programming: Program Design Including Data Structures (Paperback 9781418835408) by D S Malik

9781418835408. Pre-Owned: Good condition. Trade paperback. Language: English. Pages: 1616. Trade paperback (US). Glued binding. 1616 p. Contains: Illustrations. Data Structures. Java Programming: Program Design Including Data Structures is intended for... more

Pre-Owned C++ Programming: Program Design Including Data Structures (Paperback) 142390222X 9781423902225

Learn how to program with C++ using today s definitive choice for your first programming language experience -- C++ PROGRAMMING: FROM PROBLEM ANALYSIS TO PROGRAM DESIGN 8E. D.S. Malik s time-tested student-centered methodology incorporates a strong... more

SPARC Architecture Assembly Language Programming 9780138768898 Used / Pre-owned

An introduction to computer architecture for the SPARC reduced instruction set architecture this text teaches how to evaluate compilers data strucures and control structures in order to write efficient programs in a high-level language. CONDITION –... more

Lecture Notes in Computer Science: Semantics: Foundations and Applications: Rex Workshop Beekbergen the Netherlands June 1-4 1992. Proceedings (Paperback)

This volume is based on a workshop on the semantics of programming languages held in The Netherlands in June 1992. A wide range of topics in foundations and applications are covered. The workshop was an activity of the Netherlands NFI project REX. more

Data Structures Using C and C+

This very successful data structures text uses the standard ANSI C programming language to present the fundamentals of data structures and algorithm analysis. In addition the authors introduce the features of C++ and show how they can be used to... more

Pre-Owned Starting Out with C++ from Control Structures to Objects (Paperback 9780134498379) by Tony Gaddis

9780134498379. Pre-Owned: Good condition. Paperback. Edition: 9. Language: English. Intended for college/higher education audience. For two-semester courses in the C++ programming sequence or an accelerated one-semester course. A clear and... more

Pre-Owned Data Structures : A Pseudocode Approach with C++ 9780534952167

This new text makes it simple for beginning computer science students to design algorithms first using pseudocode and then build them using the C++ programming language. Based on Gilberg and Forouzan s successful text Data Structures: A Pseudocode... more

Object-Oriented Data Structures Using Java 9781449613549 Used / Pre-owned

Continuing the success of the popular second edition the updated and revised Object-Oriented Data Structures Using Java Third Edition is sure to be an essential resource for students learning data structures using the Java programming language. It... more

Pre-Owned An Introduction to Data Structures and Algorithms with Java (Paperback 9780138577490) by Glenn Rowe

9780138577490. Pre-Owned: Good condition. Trade paperback. Language: English. Pages: 445. Trade paperback (US). Glued binding. 445 p. Assuming fundamental programming skills in Java Introduction to Data Structures and Algorithms with Java begins by... more

Pre-Owned Fundamentals of Python: Data Structures (Paperback 9781285752006) by Kenneth Lambert

9781285752006. Pre-Owned: Good condition. Trade paperback. Language: English. Pages: 496. Trade paperback (US). Glued binding. 496 p. Contains: Tables black & white Figures. Written for computer programming students hobbyists and professionals... more