"Correctness of programs with function procedures"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Procedures governing programs and services for children with disabilities	North Carolina. Department of Public Instruction	2004	North Carolina Dept. of Public Instruction
Technology diffusion: Federal programs & procedures	Granville W. Hough	1975	Lomond Books
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs	Mingsheng Ying	2001	Springer New York
School Sport Psychology: Perspectives, Programs, and Procedures	Charles A Maher	2005	Routledge
School Sport Psychology: Perspectives, Programs, And Procedures	Charles A. Maher	February 2006	Haworth Press
Political Correctness	Geoffrey Hughes	2009	John Wiley & Sons
Political correctness	Rachel Bozek	2018	Greenhaven Publishing LLC
Political correctness	David Thibodaux	1992	Huntington House Publishers
Better field programs: a manual of objectives and procedures		1959	Agricultural Missions
Procedures Checklist for Fundamentals of Nursing: Human Health and Function	Craven	January 1996	Lippincott Williams & Wilkins
AIDS PANDEMIC: THE COLLISION OF EPIDEMIOLOGY WITH POLITICAL CORRECTNESS.	JAMES CHIN		RADCLIFFE PUBLISHING
Cyclical analysis of time series: selected procedures and computer programs	Gerhard Bry	1971	National Bureau of Economic Research; distributed by Columbia University Press
Policies and Procedures of Accreditation for Programs in Nursing Education	National League for Nursing.	April 1, 2000	HNA Books
Formal Correctness of Security Protocols	Giampaolo Bella	2007	Springer Berlin Heidelberg
Mathematical theory of program correctness	J. W. de Bakker	1980	Prentice-Hall International
The AIDS Pandemic: The collision of epidemiology with political correctness	James Chin; Alan Gillies	2007	Routledge
Managing the audit function: a corporate audit department procedures guide
Introducing Software Verification with Dafny Language: Proving Program Correctness	Boro Sitnikovski	1st ed.	Apress
Death by Journalism? One Teacher's Fateful Encounter with Political Correctness	Jerry Bledsoe	March 2001	Down Home Press
A methodological study of various follow-up procedures for community college vocational programs	Penny Proctor Noriega	1979
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Correctness of programs with function procedures	J. W. de Bakker; J. W. Klop; J.-J.Ch. Meyer	Logics of Programs: Workshop, Yorktown Heights, NY, USA	D. Kozen	1982	Springer Berlin Heidelberg
Correctness of Programs	Jacques Loeckx; Kurt Sieber	The Foundations of Program Verification	Kurt Sieber	2. Aufl. 1987	Vieweg+Teubner Verlag
Semantics and correctness of nondeterministic flowchart programs with recursive procedures	Jean H. Gallier	Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings	G. Ausiello; C. Böhm	1978	Springer Berlin Heidelberg
Developing Programs with Proofs of Correctness	Suad Alagić; Michael A. Arbib	The Design of Well-Structured and Correct Programs	Suad Alagić; Michael A. Arbib	1978	Springer New York
Correctness of Rule Programs	Bruno Berstel-Da Silva	Verification of Business Rules Programs	Bruno Berstel-Da Silva	2014	Springer Berlin Heidelberg
Arguing Correctness of ASP Programs with Aggregates	Jorge Fandinno; Zachary Hansen; Yuliya Lierler	Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings	Georg Gottlob; Daniela Inclezan; Marco Maratea	1st ed. 2022	Springer International Publishing
Static correctness of hierarchical procedures	Michael I. Schwartzbach	Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings	Michael S. Paterson	1990	Springer Berlin Heidelberg
Proving Correctness of Executable Programs	Kit Lester	Computer Systems and Software Engineering: State-of-the-art	Patrick DeWilde; Joos P.L. Vandewalle	1992	Springer US
Verifying correctness of logic programs	A. Bossi; N. Cocco	TAPSOFT ' 89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989: Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)	Josep Diaz; Fernando Orejas	1989	Springer Berlin Heidelberg
Correctness of Programs: A Comparison	Bruno Berstel-Da Silva	Verification of Business Rules Programs	Bruno Berstel-Da Silva	2014	Springer Berlin Heidelberg
Partial correctness of distributed programs	D. Coleman; R. M. Gallimore	Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981	J. Staunstrup	1982	Springer Berlin Heidelberg
511 Correctness of Imperative Programs		A Mathematical Foundation for Computer Science	David Mix Barrington	2019
Verifying Functional Correctness of C Programs with VCC	Michał Moskal	NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings	Mihaela Bobaru; Klaus Havelund; Gerard Holzmann; Rajeev Joshi	2011	Springer Berlin Heidelberg
Total correctness for procedures	Stefan Sokołowski	Mathematical Foundations of Computer Science 1977: 6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings	J. Gruska	1977	Springer Berlin Heidelberg
Programs: Correctness and Verification	Gunther Schmidt; Thomas Ströhlein	Relations and Graphs: Discrete Mathematics for Computer Scientists	Gunther Schmidt; Thomas Ströhlein	1993	Springer Berlin Heidelberg
Logic Programs with External Procedures		Logic Programming Languages: Constraints, Functions, and Objects	Krzysztof R. Apt; J. W. de Bakker; J. M. Rutten	1993	MIT Press
Proving Correctness of Programs with IO —A Paradigm Comparison	Andrew Butterfield; Glenn Strong	Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers	Thomas Arts; Markus Mohnen	2002	Springer Berlin Heidelberg
Proving correctness of Constraint Logic Programs with dynamic scheduling	F. S. de Boer; M. Gabbrielli; C. Palamidessi	Static Analysis: Third International Symposium, SAS ' 96, Aachen, Germany, September 24 - 26, 1996. Proceedings	Radhia Cousot; David A. Schmidt	1996	Springer Berlin Heidelberg
Proving the Correctness of ATES Programs	Armand Puccetti	The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software	Armand Puccetti	1991	Springer Berlin Heidelberg
Correctness of recursive flow diagram programs	J. A. Goguen; J. Meseguer	Mathematical Foundations of Computer Science 1977: 6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings	J. Gruska	1977	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Correctness of programs with function procedures" - similar Books and Chapters