Lecture Notes in Computer Science : Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday - Nachum Dershowitz

Instant online reading.
Don't wait for delivery!
Go digital and save!

Lecture Notes in Computer Science

Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

By: Nachum Dershowitz (Editor)

Write A Review

Paperback | 24 February 2004

At a Glance

Paperback
804 Pages

Dimensions(cm)
22.86 x 15.24 x 2.54

Paperback

$169.00

or 4 interest-free payments of $42.25 with

or

Ships in 5 to 7 business days

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.

The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Compilers & Interpreters

In Easy Steps

Master C# fundamentals!

Paperback

RRP $54.99

$39.99

27%
OFF

FORTRAN Programming in Easy Steps

In Easy Steps

Paperback

RRP $41.99

$38.99

$12.75

33%
OFF

Applied Mathematics with F#

Hardcover

$237.75

Metaprogramming Elixir

Paperback

RRP $32.35

$15.75

51%
OFF

Language Implementation Patterns : Pragmatic Programmers - Terence Parr

$147.99

11%
OFF

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Hardcover

RRP $200.00

$176.75

12%
OFF

Compilers

Principles, Techniques, and Tools

Hardcover

RRP $295.96

$276.75

Compilers: Pearson New International Edition 2ed : Principles, Techniques, and Tools - Alfred Aho

$28.75

Make Your Own Compiler This Way : Targeting for PIC16 and STM8 MCUs - Mengjin Su

$72.75

13%
OFF

Compiler Design Using Kotlin(TM)

An Object-Oriented Approach

Paperback

RRP $83.55

$72.75

13%
OFF

Modern CMake for C++ - Second Edition : Effortlessly build cutting-edge C++ code and deliver high-quality solutions - RafaÅ? Å?widziÅ?ski

8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings

Paperback

$84.99

Paean to Zohar Manna	p. 1
A logic of object-oriented programs	p. 11
Formal analysis of hierarchical state machines	p. 42
Abstraction as the key for invariant verification	p. 67
Domain engineering : a "radical innovation" for software and systems engineering? : a biased account	p. 100
The ASM ground model method as a foundation for requirements engineering	p. 145
A functional calculus for specification and verification of nondeterministic interactive systems	p. 161
Notes from the logbook of a proof-checker's project	p. 182
Counterexamples revisited : principles, algorithms, applications	p. 208
Easy intruder deductions	p. 225
Verification by abstract interpretation	p. 243
Game models for open systems	p. 269
A compositional operational semantics for Java[subscript MT]	p. 290
Bounded fairness	p. 304
Efficient boundary values generation in general metric spaces for software component testing	p. 318
Extreme model checking	p. 332
Automata mista	p. 359
Aspect validation using model checking	p. 373
Qualitative theorem proving in linear constraints	p. 395
Some institutional requirements for temporal reasoning on dynamic reconfiguration for component based systems	p. 407
A formal basis for reasoning on programmable QoS	p. 436
A hierarchical completeness proof for propositional temporal logic	p. 480
Computational proof as experiment : probabilistic algorithms from a thermodynamic perspective	p. 524
Unit checking : symbolic model checking for a unit of code	p. 548
Colimits for concurrent collectors	p. 568
TLPVS : a PVS-based LTL verification system	p. 598
Binary extensions of S1S and the composition method	p. 626
Deriving efficient graph algorithms	p. 645
Petri net analysis using invariant generation	p. 682
Fair equivalence relations	p. 702
Digital algebra and circuits	p. 733
Program synthesis for multi-agent question answering	p. 747
Combining sets with elements	p. 762
Author index	p. 783
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

In Easy Steps

Master C# fundamentals!

FORTRAN Programming in Easy Steps

In Easy Steps

Modern Compiler Design

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Applied Mathematics with F#

Metaprogramming Elixir

Language Implementation Patterns

Pragmatic Programmers

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Make Your Own Compiler This Way

Targeting for PIC16 and STM8 MCUs

LLVM Code Generation

A deep dive into compiler backend development

Compiler Design Using Java®

An Object-Oriented Approach

Compiler Design Using Kotlin(TM)

An Object-Oriented Approach

Modern CMake for C++ - Second Edition

Effortlessly build cutting-edge C++ code and deliver high-quality solutions

Springer Computer Science

Springer Computer Science

Proof in VDM : Case Studies

Formal Approaches to Computing and Information Technology

AVR RISC Microcontroller Handbook

Programming Languages and Systems

8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings

This product is categorised by