Rewriting Techniques and Applications
Andrei Voronkov
₹5,690
Perspectives of Systems Informatics
6th International Andrei Ershov Memorial Conference
by Andrei Voronkov, Irina Virbitskaite
Springer · 2007 · Paperback
₹5,647
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer in 2007, Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference by Andrei Voronkov & Irina Virbitskaite runs to 496 pages in paperback.
The book deals with Systems engineering, Congresses, Computer programming and Computer science.
Book details
- ISBN-13
- 9783540708803
- ISBN-10
- 3540708804
- Authors
- Andrei Voronkov, Irina Virbitskaite
- Publisher
- Springer
- Published
- 2007
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 496
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Andrei Voronkov and related titles
Perspectives of System Informatics
Andrei Voronkov
₹4,281
Automated Deduction - Cade-18
Andrei Voronkov
₹5,649
Logic Programming
Andrei Voronkov
₹5,642
Logic Programming and Automated Reasoning
Andrei Voronkov
₹5,639
Perspectives of System Informatics
Andrei Voronkov, Irina Virbitskaite
₹2,160
Generative and Transformational Techniques in Software Engineering III
João M. Fernandes
₹3,842
Algebraic Foundations in Computer Science
Werner Kuich, George Rahonis
₹5,576
Petrinetze
Wolfgang Reisig
₹3,508
Category Theory and Computer Science
David H. Pitt, Axel Poigne, David E. Rydeheard
₹5,528
Category Theory and Computer Programming
David Pitt, Samson Abramsky, Axel Poigne
₹5,639
Theory and Practice of Model Transformations
Laurence Tratt, Martin Gogolla
₹5,602