An introduction to formal program verification /

An introduction to formal program verification /

57

Bibliographic Details
Main Author:	208742 Mili, Ali
Format:
Published:	New York : Van Nostrand Reinhold, 1985
Subjects:	Computer programs

Similar Items

Automation of Formal Veriﬁcation of Programs in the Pifagor Language
by: M. S. Ushakova, et al.
Published: (2015-08-01)

Formal Verification of Programs in Functional Dataflow Parallel Language
by: M. S. Kropacheva, et al.
Published: (2015-03-01)

Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds
by: Zaiser, F
Published: (2024)

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

Computer programming and formal systems /
by: Braffort, P., et al.
Published: (1963)

An introduction to formal specification and Z /
by: 377490 Potter, Ben, et al.
Published: (1991)

Automata and formal languages : an introduction /
by: 357063 Kelley, Dean
Published: (1995)

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

Formal Verification of the xDAuth Protocol
by: Alam, Q., et al.
Published: (2016)

Formal verification of TCP and T/TCP
by: Smith, Mark Anthony Shawn, 1968-
Published: (2008)

Formal verification of security protocols
by: Mok, Xin Mun
Published: (2022)

Formalization of programming concepts /
by: International Colloquium on Formalization of Programming Concepts (1981 : Peniscola, Spain), et al.
Published: (1981)

Formal specification of interactive graphics programming languages /
by: 456219 Mallgren, William R.
Published: (1983)

Securing smart contracts with formal verification and automated program repair
by: Tolmach, Palina
Published: (2023)

Formal modelling and verification on Android platform
by: Lim, Jolene Yu Han
Published: (2014)

An Introduction to programming with C++ /
by: Zak, Diane, author
Published: (2013)

An introduction to programming with C++ /
by: 441712 Zak, Diane
Published: (2011)

Introduction to programming languages /
by: 588594 Bansal, Arvind Kumar
Published: (2014)

Theoretical introduction to programming /
by: 402782 Mills, Bruce
Published: (2006)

Formal verification of safety-critical hybrid systems
by: Livadas, Carolos
Published: (2008)

Applied formal verification /
by: 225698 Perry, Douglas L., et al.
Published: (2005)

Advanced formal verification /
by: Drechsler, Rolf
Published: (2004)

Halal food verification system /
by: Abdulqader Moahmmed Bazuhair, 1987-, author, et al.
Published: (2013)

C++ PROGRAMMING AN INTRODUCTION /
by: Norhashidah Mohd. Ali, author 186470, et al.
Published: (2007)

Introduction to computers and computer programming /
by: 403756 Prince, Lawrence J., et al.
Published: (1972)

Windows programming : an introduction /
by: Murray, William H., 1943-, et al.
Published: (1990)

An introduction to computer programming /
by: George, F. H. (Frank Honywill), 1921-
Published: (1968)

Programming with constraints : an introduction /
by: 235330 Marriott, Kim, et al.
Published: (1998)

Logic programming : formal methods and practical applications /
by: Beierle, Christoph, et al.
Published: (1995)

Introduction to linear and nonlinear programming /
by: 170359 Luenberger, David G.
Published: (1973)

Introduction to computation and programming using Python /
by: Guttag, John V.
Published: (2013)

A concise introduction to programming in Python /
by: Johnson, Mark J. (Mark James), 1961-, author
Published: (2018)

A concise introduction to programming in Python /
by: Johnson, Mark J. (Mark James), 1961-
Published: (2012)

Introduction to JAVA Programming : brief verison /
by: Liang, Y. Daniel, author
Published: (2018)

Introduction to programming in Java : an interdisciplinary approach /
by: Sedgewick, Robert, 1946-, et al.
Published: (2008)

Formal description techniques and protocol specification, testing and verification /
by: Caalli, Ana, et al.
Published: (1998)

Allocator : an introduction (computer program) [disket]
Published: (1986)

State-of-the-art survey of smart contract verification based on formal methods
by: Wenbo ZHANG, et al.
Published: (2022-08-01)

Introduction to programming : a Basic approach /
by: 174059 Hare, Van Court
Published: (1970)

Programming : an introduction to computer techniques/
by: 301105 Maurer, Ward Douglas
Published: (1972)