Library of American University of Madaba Search for 'su:Logics and Meanings of Programs. and su-to:Programming Languages, Compilers, Interpreters.'

Practical Aspects of Declarative Languages

By Sagonas, Kostis.. . XIV, 261 p. 82 illus. 9783642452840

Place Hold on Practical Aspects of Declarative Languages

Logic for Programming, Artificial Intelligence, and Reasoning

By McMillan, Ken.. . XIV, 794 p. 178 illus. 9783642452215

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Testing Software and Systems

By Yenigün, Hüsnü.. . XIV, 291 p. 84 illus. 9783642417078

Place Hold on Testing Software and Systems

In Search of Elegance in the Theory and Practice of Computation

By Tannen, Val.. . XII, 569 p. 121 illus. 9783642416606

Place Hold on In Search of Elegance in the Theory and Practice of Computation

Implementation and Application of Functional Languages

By Hinze, Ralf.. . X, 241 p. 72 illus. 9783642415821

Place Hold on Implementation and Application of Functional Languages

Constraint Solving and Language Processing

By Duchier, Denys.. . XII, 179 p. 30 illus. 9783642415784

Place Hold on Constraint Solving and Language Processing

Model-Driven Engineering Languages and Systems

By Moreira, Ana.. . XXVIII, 792 p. 299 illus. 9783642415333

Place Hold on Model-Driven Engineering Languages and Systems

Reachability Problems

By Abdulla, Parosh Aziz.. . XII, 223 p. 60 illus. 9783642410369

Place Hold on Reachability Problems

Runtime Verification

By Legay, Axel.. . XVII, 426 p. 113 illus. 9783642407871

Place Hold on Runtime Verification

Principles and Practice of Constraint Programming

By Schulte, Christian.. . XVIII, 898 p. 226 illus. 9783642406270

Place Hold on Principles and Practice of Constraint Programming

Computational Logic in Multi-Agent Systems

By Leite, João.. . XXIV, 391 p. 75 illus. 9783642406249

Place Hold on Computational Logic in Multi-Agent Systems

Software Engineering and Formal Methods

By Hierons, Robert M.. . XVIII, 321 p. 113 illus. 9783642405617

Place Hold on Software Engineering and Formal Methods

Hardware and Software: Verification and Testing

By Biere, Armin.. . XII, 281 p. 75 illus. 9783642396113

Place Hold on Hardware and Software: Verification and Testing

Structured Object-Oriented Formal Language and Method

By Liu, Shaoying.. . X, 149 p. 83 illus. 9783642392771

Place Hold on Structured Object-Oriented Formal Language and Method

Model Checking Software

By Bartocci, Ezio.. . X, 377 p. 143 illus. 9783642391767

Place Hold on Model Checking Software

ECOOP 2013 – Object-Oriented Programming

By Castagna, Giuseppe.. . XXII, 746 p. 206 illus. 9783642390388

Place Hold on ECOOP 2013 – Object-Oriented Programming

Software Architecture

By Drira, Khalil.. . XVI, 354 p. 133 illus. 9783642390319

Place Hold on Software Architecture

Modelling Foundations and Applications

By Gorp, Pieter.. . X, 237 p. 93 illus. 9783642390135

Place Hold on Modelling Foundations and Applications

Tests and Proofs

By Veanes, Margus.. . X, 233 p. 50 illus. 9783642389160

Place Hold on Tests and Proofs

SDL 2013: Model-Driven Dependability Engineering

By Khendek, Ferhat.. . XII, 291 p. 138 illus. 9783642389115

Place Hold on SDL 2013: Model-Driven Dependability Engineering

Theory and Practice of Model Transformations

By Duddy, Keith.. . XIV, 221 p. 85 illus. 9783642388835

Place Hold on Theory and Practice of Model Transformations

Static Analysis

By Logozzo, Francesco.. . X, 499 p. 130 illus. 9783642388569

Place Hold on Static Analysis

Application and Theory of Petri Nets and Concurrency

By Colom, José-Manuel.. . XII, 411 p. 166 illus. 9783642386978

Place Hold on Application and Theory of Petri Nets and Concurrency

Integrated Formal Methods

By Johnsen, Einar Broch.. . XIV, 443 p. 95 illus. 9783642386138

Place Hold on Integrated Formal Methods

Reliable Software Technologies – Ada-Europe 2013

By Keller, Hubert B.. . XII, 177 p. 50 illus. 9783642386015

Place Hold on Reliable Software Technologies – Ada-Europe 2013

Web Services and Formal Methods

By Beek, Maurice H.. . X, 151 p. 55 illus. 9783642382307

Place Hold on Web Services and Formal Methods

Model-Based Methodologies for Pervasive and Embedded Software

By Machado, Ricardo J.. . X, 139 p. 61 illus. 9783642382093

Place Hold on Model-Based Methodologies for Pervasive and Embedded Software

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky

By Coecke, Bob.. . XX, 363 p. 26 illus. 9783642381645

Place Hold on Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky

NASA Formal Methods

By Brat, Guillaume.. . XXIV, 486 p. 164 illus. 9783642380884

Place Hold on NASA Formal Methods

Foundations of Software Science and Computation Structures

By Pfenning, Frank.. . XXIV, 451 p. 51 illus. 9783642370755

Place Hold on Foundations of Software Science and Computation Structures

Fundamental Approaches to Software Engineering

By Cortellessa, Vittorio.. . XX, 376 p. 90 illus. 9783642370571

Place Hold on Fundamental Approaches to Software Engineering

Programming Languages and Systems

By Felleisen, Matthias.. . XX, 620 p. 162 illus. 9783642370366

Place Hold on Programming Languages and Systems

Tools and Algorithms for the Construction and Analysis of Systems

By Piterman, Nir.. . XXIV, 646 p. 137 illus. 9783642367427

Place Hold on Tools and Algorithms for the Construction and Analysis of Systems

Assurances for Self-Adaptive Systems

By Cámara, Javier.. . X, 341 p. 94 illus. 9783642362491

Place Hold on Assurances for Self-Adaptive Systems

Generative and Transformational Techniques in Software Engineering IV

By Lämmel, Ralf.. . XII, 449 p. 112 illus. 9783642359927

Place Hold on Generative and Transformational Techniques in Software Engineering IV

Formal Methods for Components and Objects

By Beckert, Bernhard.. . X, 356 p. 129 illus. 9783642358876

Place Hold on Formal Methods for Components and Objects

Formal Aspects of Component Software

By Păsăreanu, Corina S.. . X, 277 p. 72 illus. 9783642358616

Place Hold on Formal Aspects of Component Software

Tools for Practical Software Verification

By Meyer, Bertrand.. . VIII, 183 p. 31 illus. 9783642357466

Place Hold on Tools for Practical Software Verification

Formal Aspects of Component Software

By Arbab, Farhad.. . X, 369 p. 131 illus. 9783642357435

Place Hold on Formal Aspects of Component Software

Logical Foundations of Computer Science

By Artemov, Sergei.. . X, 415 p. 49 illus. 9783642357220

Place Hold on Logical Foundations of Computer Science

Unifying Theories of Programming

By Wolff, Burkhart.. . VIII, 249 p. 4 illus. 9783642357053

Place Hold on Unifying Theories of Programming

Runtime Verification

By Qadeer, Shaz.. . XII, 322 p. 93 illus. 9783642356322

Place Hold on Runtime Verification

Transactions on Aspect-Oriented Software Development IX

By Leavens, Gary T.. . XIV, 307 p. 97 illus. 9783642355516

Place Hold on Transactions on Aspect-Oriented Software Development IX

Certified Programs and Proofs

By Hawblitzel, Chris.. . X, 305 p. 64 illus. 9783642353086

Place Hold on Certified Programs and Proofs

Programming Languages and Systems

By Jhala, Ranjit.. . XII, 389 p. 104 illus. 9783642351822

Place Hold on Programming Languages and Systems

Testing Software and Systems

By Nielsen, Brian.. . X, 263 p. 97 illus. 9783642346910

Place Hold on Testing Software and Systems

Implementation and Application of Functional Languages

By Gill, Andy.. . X, 181 p. 68 illus. 9783642344077

Place Hold on Implementation and Application of Functional Languages

Hardware and Software: Verification and Testing

By Eder, Kerstin.. . XII, 263 p. 95 illus. 9783642341885

Place Hold on Hardware and Software: Verification and Testing

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

By Margaria, Tiziana.. . XVI, 361 p. 129 illus. 9783642340321

Place Hold on Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

By Margaria, Tiziana.. . XVI, 617 p. 170 illus. 9783642340260

Place Hold on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change