Description, instructions, and verification for Basinsoft, a computer program to quantify drainage-basin characteristics /

Computer-based hydrology laboratory /
by: Black, Peter E.
Published: (1989)

Drainage from sloping land using oblique drains /
by: Carlson, E. J.
Published: (1987)

Software verification and validation : realistic project approaches /
by: Deutsch, Michael S.
Published: (1982)

Formal methods of program verification and specification /
Published: (1982)

Environmental Flow Allocation and Statistics Calculator /
by: Konrad, Christopher P. (Christopher Peter)
Published: (2011)

Ground-water resources of the Mora River drainage basin, western Mora County, New Mexico /
by: Mercer, Jerry W.
Published: (1972)

Microcomputer software for storm drain hydraulic gradeline computation /
by: Yu, Shaw L.
Published: (1987)

Communication protocol specification and verification /
by: Lai, Richard, Ph. D.
Published: (1998)

A computer code (RVRDOS) to calculate population doses from radioactive liquid effluents and an application to nuclear power reactors on the Mississippi River basin /
Published: (1976)

Computer-based hydrology laboratory /
by: Black, Peter E.
Published: (1987)

The foundations of program verification /
by: Loeckx, Jacques, 1931-
Published: (1984)

The foundations of program verification /
by: Loeckx, Jacques, 1931-
Published: (1987)

Characteristics of software quality /
Published: (1978)

Modeling capabilities to quantify the benefits of DERMS : cooperative research and development final report /
by: Ding, Fei (Engineer), et al.
Published: (2022)

Simulated effects of proposed ground-water pumping in 17 basins of east-central and southern Nevada.
by: Schaefer, Donald H.
Published: (1995)

Drainage basin response : documented historical change and theoretical considerations /
by: Edgar, Dorland E.
Published: (1974)

GIS-based system of hydrologic and hydraulic applications for highway engineering /
by: Olivera, Francisco
Published: (1999)

Theory of program structures : schemes, semantics, verification /
by: Greibach, Sheila, 1939-
Published: (1975)

An introduction to formal program verification /
by: Mili, Ali
Published: (1985)

Water-use analysis program for the Neshaminy Creek Basin, Bucks and Montgomery counties, Pennsylvania.
by: Schreffler, Curtis L.
Published: (1996)

CRT--Cascade Routing Tool to define and visualize flow paths for grid-based watershed models /
Published: (2013)

Measurement of hydrologic parameters of confined dredged material at Wilmington Harbor, Delaware, containment area /
by: Pizzuto, James E.
Published: (1990)

Verification of RESRAD-OFFSITE /
Published: (2011)

Software engineering : analysis and verification /
by: Lewis, T. G. (Theodore Gyle), 1941-
Published: (1982)

NOMMAD: a short description of the Nommad simulation of customer behavior /
by: Cook, Victor J.
Published: (1970)

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /
by: Müller-Olm, Markus
Published: (1997)

Diesel emissions quantifier default values.
Published: (2010)

Verification of BModes : rotary beam and tower modal analysis code : preprint /
by: Bir, Gunjit S.
Published: (2010)

A description of the Texas Agricultural Weather Advisory Program software /
by: Dugas, William A. (William Arthur)
Published: (1985)

Fuel Characteristic Classification System version 3.0 : technical documentation /
Published: (2013)

FORTRAN IV program for simulating geologic development of sedimentary basins.
by: Ojakangas, Dennis R.
Published: (1970)

The dynamic characteristics of computer programs /
by: Bryan, G. E.
Published: (1967)

PREDIS, a physically-based hydrologic response model /
Published: (1984)

A tool for the generation and analysis of model simulation scenarios for watersheds (GenScn) /
Published: (1998)

Programming logics : an introduction to verification and semantics /
by: Gumb, Raymond D.
Published: (1989)

A physics-based approach to hydrologic response modeling: phase I: model development /
by: Freeze, R. Allan
Published: (1972)