Isabelle/Hol
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
₹4,964
Rewriting Techniques and Applications
9th International Conference
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 1998 · Paperback
₹3,959
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
Rewriting Techniques and Applications: 9th International Conference by Tobias Nipkow is a 346-page paperback edition published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 1998. The book is part of the Lecture notes in computer science series.
The book deals with Programming languages, Logic, Computer Science and Algorithms (Computer Programming).
Book details
- ISBN-13
- 9783540643012
- ISBN-10
- 354064301X
- Author
- Tobias Nipkow
- Published
- 1998
- Series
- Lecture notes in computer science
- Edition
- 1998 ed.
- Binding
- Paperback
- Pages
- 346
- Language
- English
- Condition
- New
- Subject
- Programming languages
More by Tobias Nipkow and related titles
Computational Logic
A. C. Kakas, F. Sadri
₹4,475
Advances in Database Technology - EDBT '90
Costantino Thanos
₹4,247
Coffeescript Application Development
Ian Young
₹4,465
C# Class Design Handbook
Roger Rowland, Ben Hyrman, Teun Duynstee, Richard Conway, James Speer
₹3,022
Java Programming 24-Hour Trainer + Website
Yakov Fain
₹3,361
Advanced LISP Technology
Taiichi Yuasa, Hiroshi G. Okuno
₹5,128
Modern Applied Biostatistical Methods
Steve Selvin
₹4,726
Programming Language Design Concepts
David A. Watt, William Findlay
₹3,468
Scala Design Patterns
John Hunt
₹7,214
Essential Java for Scientists and Engineers
Brian D. Hahn, Katherine M. Malan
₹3,878
Formal Languages for Computer Simulation
Pau Fonseca i Casas
₹4,791