Library Services | Technical University of Kenya Search for 'su:{Logics and Meanings of Programs.}'

Abstraction, Refinement and Proof for Probabilistic Systems

By McIver, Annabelle.. New York, NY : Springer New York, 2005 9780387270067

Place Hold on Abstraction, Refinement and Proof for Probabilistic Systems

Adapting Proofs-as-Programs

By Poernomo, Iman Hafiz.. New York, NY : Springer New York, 2005 9780387281834

Place Hold on Adapting Proofs-as-Programs

Mathematical Problems from Applied Logic I

By Gabbay, Dov M.. New York, NY : Springer New York, 2006 9780387310725

Place Hold on Mathematical Problems from Applied Logic I

A Modular Calculus for the Average Cost of Data Structuring

By Schellekens, Michel.. Boston, MA : Springer US, 2008 9780387733845

Place Hold on A Modular Calculus for the Average Cost of Data Structuring

Programming Languages

By Lee, Kent.. Boston, MA : Springer US, 2008 9780387794228

Place Hold on Programming Languages

Rigorous Software Development

By Almeida, José Bacelar.. London : Springer London, 2011 9780857290182

Place Hold on Rigorous Software Development

Introduction to the Theory of Programming Languages

By Dowek, Gilles.. London : Springer London, 2011 9780857290762

Place Hold on Introduction to the Theory of Programming Languages

Specification of Software Systems

By Alagar, V.S.. London : Springer London, 2011 9780857292773

Place Hold on Specification of Software Systems

Modern Formal Methods and Applications

By Gabbar, Hossam A.. Dordrecht : Springer Netherlands, 2006 9781402042232

Place Hold on Modern Formal Methods and Applications

Handbook of Philosophical Logic

By Gabbay, D.M.. Dordrecht : Springer Netherlands, 2007 9781402063244

Place Hold on Handbook of Philosophical Logic

Logic Functions and Equations

By Steinbach, Bernd.. Dordrecht : Springer Netherlands, 2009 9781402095955

Place Hold on Logic Functions and Equations

Theoretical Introduction to Programming

By Mills, Bruce.. London : Springer London, 2006 9781846282638

Place Hold on Theoretical Introduction to Programming

Concurrency Theory

By Bowman, Howard.. London : Springer London, 2006 9781846283369

Place Hold on Concurrency Theory

Semantics with Applications: An Appetizer

By Nielson, Hanne Riis.. London : Springer London, 2007 9781846286926

Place Hold on Semantics with Applications: An Appetizer

Principles of the Spin Model Checker

By Ben-Ari, Mordechai.. London : Springer London, 2008 9781846287701

Place Hold on Principles of the Spin Model Checker

Value-Range Analysis of C Programs

By Simon, Axel.. London : Springer London, 2008 9781848000179

Place Hold on Value-Range Analysis of C Programs

Elementary Logic

By Lover, Robert.. London : Springer London, 2008 9781848000827

Place Hold on Elementary Logic

Principles of Programming Languages

By Dowek, Gilles.. London : Springer London, 2009 9781848820326

Place Hold on Principles of Programming Languages

Computable Models

By Turner, Raymond.. London : Springer London, 2009 9781848820524

Place Hold on Computable Models

Understanding Concurrent Systems

By Roscoe, A.W.. London : Springer London, 2011 9781848822580

Place Hold on Understanding Concurrent Systems

Verification of Sequential and Concurrent Programs

By Apt, Krzysztof R.. London : Springer London, 2009 9781848827455

Place Hold on Verification of Sequential and Concurrent Programs

Categories for Software Engineering

By Fiadeiro, José Luiz.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540268918

Place Hold on Categories for Software Engineering

A Theory of Distributed Objects

By Caromel, Denis.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540272458

Place Hold on A Theory of Distributed Objects

A Practical Theory of Reactive Systems

By Kurki-Suonio, Reino.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540273486

Place Hold on A Practical Theory of Reactive Systems

Abstract Computing Machines

By Kluge, W.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540273592

Place Hold on Abstract Computing Machines

Complexity Theory

By Wegener, Ingo.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540274773

Place Hold on Complexity Theory

Implementation of Functional Languages

By Trinder, Phil.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540278610

Place Hold on Implementation of Functional Languages

Software Composition

By Gschwind, Thomas.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540287490

Place Hold on Software Composition

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

By Lodaya, Kamal.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540305385

Place Hold on FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

Developments in Language Theory

By Calude, Cristian S.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540305507

Place Hold on Developments in Language Theory

Object-Oriented Technology. ECOOP 2004 Workshop Reader

By Malenfant, Jacques.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540305545

Place Hold on Object-Oriented Technology. ECOOP 2004 Workshop Reader

Practical Aspects of Declarative Languages

By Hermenegildo, Manuel V.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540305576

Place Hold on Practical Aspects of Declarative Languages

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

By Barthe, Gilles.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540305699

Place Hold on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Agent-Oriented Software Engineering V

By Odell, James.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540305781

Place Hold on Agent-Oriented Software Engineering V

Verification, Model Checking, and Abstract Interpretation

By Cousot, Radhia.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540305798

Place Hold on Verification, Model Checking, and Abstract Interpretation

Inconsistency Tolerance

By Bertossi, Leopoldo.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540305972

Place Hold on Inconsistency Tolerance

Formal Approaches to Agent-Based Systems

By Hinchey, Michael G.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540309604

Place Hold on Formal Approaches to Agent-Based Systems

Fundamentals of Algebraic Graph Transformation

By Ehrig, Hartmut.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 9783540311881

Place Hold on Fundamentals of Algebraic Graph Transformation

Software Engineering 1

By Bjørner, Dines.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 9783540312888

Place Hold on Software Engineering 1

Types for Proofs and Programs

By Filliâtre, Jean-Christophe.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 9783540314295

Place Hold on Types for Proofs and Programs

Trustworthy Global Computing

By Nicola, Rocco.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540314837

Place Hold on Trustworthy Global Computing

Extreme Programming and Agile Processes in Software Engineering

By Baumeister, Hubert.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540314875

Place Hold on Extreme Programming and Agile Processes in Software Engineering

SDL 2005: Model Driven

By Prinz, Andreas.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540315391

Place Hold on SDL 2005: Model Driven

Formal Methods for Open Object-Based Distributed Systems

By Steffen, Martin.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540315568

Place Hold on Formal Methods for Open Object-Based Distributed Systems

Distributed Applications and Interoperable Systems

By Kutvonen, Lea.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540315827

Place Hold on Distributed Applications and Interoperable Systems

Formal Modeling and Analysis of Timed Systems

By Pettersson, Paul.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540316169

Place Hold on Formal Modeling and Analysis of Timed Systems

Verification, Model Checking, and Abstract Interpretation

By Emerson, E. Allen.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 9783540316220

Place Hold on Verification, Model Checking, and Abstract Interpretation

Logic for Programming, Artificial Intelligence, and Reasoning

By Sutcliffe, Geoff.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540316503

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

Reasoning Web

By Eisinger, Norbert.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540316756

Place Hold on Reasoning Web

Developments in Language Theory

By Felice, Clelia.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540316824

Place Hold on Developments in Language Theory