Professional business directory

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

Category: specification

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

HYBRID PARALLEL EXECUTION MODEL FOR LOGIC-BASED SPECIFICATION LANGUAGES - TSAI JEFFREY J P & LI B

AUTHOR AFFILIATION : UNIV OF ILLINOIS AT CHICAGO, USA PUB DATE : 2-Jul-01 ONLINE RELEASE DATE

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

CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION - DIACONESCU RAZVAN ET AL

AUTHOR AFFILIATION : JAPAN ADVANCED INST OF SCIENCE & TECHNOLOGY, JAPAN PUB DATE : 30-Jun-98 O

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
Shanghai Minglan Chemical Co.,Ltd.
specification Aug 18

Shanghai Minglan Chemical Co.,Ltd.

Shanghai Minglan Chemical Co.,Ltd. Shanghai Minglan Chemical Co.,Ltd. is a professional manufacturer

View Details
specification Dec 13

ANC Pro - Code barre : 0745125648750

ANC Pro - Code barre : 0745125648750 ANC Pro Wireless earphone with Microphones Touch Control ANC n

View Details
specification Dec 13

TRAXIUM. AXLE 7 85W140 - Code barre : 0745760467310

TRAXIUM. AXLE 7 85W140 - Code barre : 0745760467310 Transmission Fluid 85W 140 Find product Trans

View Details
specification Dec 12

Black C3 58MM COFFEE ESPRESSO NEEDLE TAMPER>BARISTASPACE - Code barre : 0745125314228

Black C3 58MM COFFEE ESPRESSO NEEDLE TAMPER>BARISTASPACE - Code barre : 0745125314228 COFFEE ESPRES

View Details