Precondition - PDFSEARCH.IO - Document Search Engine

Precondition
Results: 119

#	Item
31	Factsheet Action for ESOL believes that the opportunity to learn the common language of the community in which you live and work is a human right. Access to the common language is a precondition of full and equal partici Add to Reading List Source URL: actionforesol.org Language: English - Date: 2013-07-07 05:58:04 University of Cambridge ESOL Examinations City & Guilds English Language Qualifications English-language education Education Adult education
32	WP 0.8 WP Plug-in Manual Version 0.8 for NeonPatrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:18 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
33	WP 0.6 (Draft Manual) WP Plug-in (Draft) Manual Version 0.6 for OxygenPatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
34	EURELECTRIC CHARTER UNIVERSAL ACCESS TO ENERGY BYTHE POWER INDUSTRY’S COMMITMENT Energy, and even more so electricity, is fundamental to modern life and the precondition for development. Yet 1.3 billion people Add to Reading List Source URL: www.eurelectric.org Language: English - Date: 2013-08-27 05:54:24 Sustainable energy Energy policy Energy development Council of European Energy Regulators Energy economics Energy EURELECTRIC
35	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
36	THE EIFFEL LIBRARY STANDARD VINTAGE 95 Report identification TR-EI-48/KL: The Eiffel Library Standard. (Earlier title: The Proposed Eiffel Library Kernel Standard). Prepared for the Nonprofit International Consortium fo Add to Reading List Source URL: www.eiffel-nice.org Language: English - Date: 2014-10-22 11:03:56 Logic in computer science Object-oriented programming Eiffel Subroutines Postcondition Precondition Assertion Parameter Operating system Software engineering Computer programming Computing
37	WP 0.4 (Draft Manual) WP Plug-in (Draft) Manual Version 0.4 for NitrogenLoïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
38	Doc No: N4378 Date: Authors: John Lakos () Nathan Myers () Alexei Zakharov () Add to Reading List Source URL: www.open-std.org Language: English - Date: 2015-02-09 16:26:53 Logic in computer science Cross-platform software Assertion Debugging Precondition Procedural programming languages Design by contract Compiler C++ Software engineering Computer programming Computing
39	Doc No: Date: Author: N4379 Add to Reading List Source URL: www.open-std.org Language: English - Date: 2015-02-09 06:51:02 Logic in computer science Assertion Exception handling Precondition Objective-C C Postcondition Software engineering Computer programming Computing
40	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering