Professional business directory

Find the best businesses and services near you. Discover verified companies across all industries.

Category: specification

specification Apr 01

Etablissement Université d’Oran1 - Ahmed Ben Bella Affiliation Département d’Informatique Auteur EL HABIB DAHO, Hocine Directeur de thèse

Mémoires de Fin d’Etudes Etablissement Université d’Oran1 - Ahmed Ben Bella Affiliation Département

View Details
specification Apr 01

Etablissement Université Mohamed Boudiaf des Sciences et de la Technologie - Mohamed Boudiaf d’Oran Affiliation Département d’Informatique

Mémoires de Fin d’Etudes Etablissement Université Mohamed Boudiaf des Sciences et de la Technologie

View Details
specification Oct 16

AUTOMATED DATABASE APPLICATIONS TESTING: SPECIFICATION REPRESENTATION FOR AUTOMATED REASONING - MIKHAIL RANA FARID ET AL

AUTHOR AFFILIATION : GE HEALTHCARE, USA PUB DATE : 8-Jan-10 ONLINE RELEASE DATE : 27-Apr-10

View Details
specification Oct 16

REAL TIME PROGRAMMING: LANGUAGES, SPECIFICATION AND VERIFICATION - SHYAMASUNDAR R K ET AL

AUTHOR AFFILIATION : TATA INST OF FUNDAMENTAL RES, INDIA PUB DATE : 4-Nov-09 ONLINE RELEASE DA

View Details
specification Oct 16

SPECIFICATION AND VERIFICATION OF SYSTOLIC ARRAYS - LING NAM ET AL

AUTHOR AFFILIATION : SANTA CLARA UNIV, USA PUB DATE : 5-Aug-99 ONLINE RELEASE DATE : 5-May-11

View Details
specification Oct 16

LANGUAGE PROTOTYPING: AN ALGEBRAIC SPECIFICATION APPROACH - DEURSEN A VAN ET AL

AUTHOR AFFILIATION : CWI AMSTERDAM, THE NETHERLANDS PUB DATE : 30-Sep-96 ONLINE RELEASE DATE :

View Details
specification Oct 16

SPECIFICATION IN B: AN INTRODUCTION USING THE B TOOLKIT - LANO KEVIN ET AL

AUTHOR AFFILIATION : IMPERIAL COLLEGE, UK PUB DATE : 3-Apr-96 ONLINE RELEASE DATE : 27-Aug-12

View Details
specification Oct 16

COMPUTER-AIDED SPECIFICATION TECHNIQUES - DEMETROVICS J, KNUTH ELOD & RADO PETER

AUTHOR AFFILIATION : HUNGARY PUB DATE : 1-Jan-86 ONLINE RELEASE DATE : 16-May-11 Print ISBN

View Details