Library of American University of Madaba Search for 'su:Logics and Meanings of Programs. and su-to:Software Engineering. and su-to:Logic design.'

User-Level Workflow Design

By Lamprecht, Anna-Lena.. . XXII, 223 p. 84 illus. 9783642453892

Place Hold on User-Level Workflow Design

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

Conceptual Modeling

By Ng, Wilfred.. . XXVIII, 514 p. 165 illus. 9783642419249

Place Hold on Conceptual Modeling

Testing Software and Systems

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

Place Hold on Testing Software and Systems

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

Formal Methods for Industrial Critical Systems

By Pecheur, Charles.. . XIV, 199 p. 46 illus. 9783642410109

Place Hold on Formal Methods for Industrial Critical Systems

Software Engineering for Resilient Systems

By Gorbenko, Anatoliy.. . X, 199 p. 87 illus. 9783642408946

Place Hold on Software Engineering for Resilient Systems

Frontiers of Combining Systems

By Fontaine, Pascal.. . XII, 359 p. 35 illus. 9783642408854

Place Hold on Frontiers of Combining Systems

Runtime Verification

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

Place Hold on Runtime Verification

Algebraic Informatics

By Muntean, Traian.. . X, 275 p. 14 illus. 9783642406638

Place Hold on Algebraic Informatics

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

Formal Methods for Components and Objects

By Giachino, Elena.. . X, 241 p. 125 illus. 9783642406157

Place Hold on Formal Methods for Components and Objects

Logic Programming and Nonmonotonic Reasoning

By Cabalar, Pedro.. . XVIII, 570 p. 70 illus. 9783642405648

Place Hold on Logic Programming and Nonmonotonic Reasoning

Software Engineering and Formal Methods

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

Place Hold on Software Engineering and Formal Methods

Automated Reasoning with Analytic Tableaux and Related Methods

By Galmiche, Didier.. . X, 289 p. 34 illus. 9783642405372

Place Hold on Automated Reasoning with Analytic Tableaux and Related Methods

Transactions on Petri Nets and Other Models of Concurrency VIII

By Koutny, Maciej.. . XVIII, 203 p. 85 illus. 9783642404658

Place Hold on Transactions on Petri Nets and Other Models of Concurrency VIII

Formal Modeling and Analysis of Timed Systems

By Braberman, Víctor.. . X, 275 p. 70 illus. 9783642402296

Place Hold on Formal Modeling and Analysis of Timed Systems

Fundamentals of Software Engineering

By Arbab, Farhad.. . XIX, 283 p. 85 illus. 9783642402135

Place Hold on Fundamentals of Software Engineering

CONCUR 2013 – Concurrency Theory

By D’Argenio, Pedro R.. . XIV, 562 p. 83 illus. 9783642401848

Place Hold on CONCUR 2013 – Concurrency Theory

Computer Aided Verification

By Sharygina, Natasha.. . XXII, 1015 p. 237 illus. 9783642397998

Place Hold on Computer Aided Verification

Theoretical Aspects of Computing – ICTAC 2013

By Liu, Zhiming.. . XII, 445 p. 100 illus. 9783642397189

Place Hold on Theoretical Aspects of Computing – ICTAC 2013

Web Reasoning and Rule Systems

By Faber, Wolfgang.. . XIV, 272 p. 47 illus. 9783642396663

Place Hold on Web Reasoning and Rule Systems

Interactive Theorem Proving

By Blazy, Sandrine.. . XII, 498 p. 73 illus. 9783642396342

Place Hold on Interactive Theorem Proving

Theory, Practice, and Applications of Rules on the Web

By Morgenstern, Leora.. . XVIII, 249 p. 69 illus. 9783642396175

Place Hold on Theory, Practice, and Applications of Rules on the Web

Software Composition

By Binder, Walter.. . X, 145 p. 38 illus. 9783642396144

Place Hold on Software Composition

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

Reversible Computation

By Dueck, Gerhard W.. . X, 263 p. 92 illus. 9783642389863

Place Hold on Reversible Computation

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

Formal Methods for Dynamical Systems

By Bernardo, Marco.. . VIII, 181 p. 49 illus. 9783642388743

Place Hold on Formal Methods for Dynamical Systems

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

Formal Techniques for Distributed Systems

By Beyer, Dirk.. . XIV, 321 p. 66 illus. 9783642385926

Place Hold on Formal Techniques for Distributed Systems

Automated Deduction – CADE-24

By Bonacina, Maria Paola.. . XVI, 466 p. 95 illus. 9783642385742

Place Hold on Automated Deduction – CADE-24

Coordination Models and Languages

By Nicola, Rocco.. . XIV, 251 p. 76 illus. 9783642384936

Place Hold on Coordination Models and Languages

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

Logic-Based Program Synthesis and Transformation

By Albert, Elvira.. . X, 245 p. 36 illus. 9783642381973

Place Hold on Logic-Based Program Synthesis and Transformation