
Verification, Model Checking, and Abstract Interpretation
Barbara Jobstmann, K. Rustan M. Leino
₹4,326

An Introduction with Sample Programs in BASIC
Elsevier Science Ltd · 1986
Free delivery. Nothing extra to pay at checkout.
Groundwater Modelling: An Introduction with Sample Programs in BASIC by W. Kinzelbach is a 332-page book published by Elsevier Science Ltd in 1986. The book is part of the Developments in water science series.
Its main subjects are BASIC (Computer program language), Computer programs, Data processing and Groundwater.