|
|
ProSet
A derivative of SETL with Ada-like syntax developed at
the University of Essen in 1990. Formerly known as SETL/E.
["SETL/E, A Prototyping System Based on Sets", E.E. Doberkat
et al, in Tagungsband TOOL90, W. Zorn ed, pp. 109-118, U
Karlsruhe, Nov 1990].
["ProSet - A Language for Prototyping with Sets",
E.-E. Doberkat et al, in Proc Third Intl Workshop on Rapid
System Prototyping, N. Kanopoulos ed, IEEE Comp Soc Press,
June 1992, pp. 235-248].
Try this search on OneLook / Google
Nearby terms:
propositional logic « proprietary « PROSE « ProSet » PROSPER » Prospero » ProTalk
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
PSP Kit - Car Charger/MultiDisc Case/Carrying CasePSP Kit - Car Charger/MultiDisc Case/Carrying Case ** PSP Starter Kit - Car Charger/Multi-Disc Case/Carrying Case **Charge up your Sony PSP while you travel in less than 2 Hours! This PSP Starter kit is an absolute necessity for your Sony PSP! Included in this kit is a 12V Car Charger, a Multi-Disc case which can store up to 4 UMD, and an EVA carrying case to protect your PSP from bumps, drops, and scratches! This PSP starter kit is an ideal traveling companion! Get yours today!General Features:- For Sony PSP Car Charger Features: - Charges PSP in less than 2 Hours - Input: DC12V - Provides power as you travel PSP Multi-Disc Case Features: - Stores up to 4 UMD in one compact case - Damage Resist - Protects your Games PSP EVA Carrying Case: - Stylishly designed with EVA material - Protects your PSP form bumps, drops, and scratches - Zippered Regulatory Approvals: - CE Retail Blister Pack Includes: - Car Charger - PSP Muli-Disc Case - PSP EVA Carrying Case Notes: - UPC Code: 1 83195 30001 5 Compatibility/Requirements/Disclosures: ** Requirements *** Sony PSP More ...
PS/2 3-Button Scroll Mouse by Genica (Beige)PS/2 3-Button Scroll Mouse by Genica (Beige) ** Genica 3-Button PS/2 Scroll Mouse **Offer this inexpensive yet full featured mouse to yourcustomers, or bundle it with your systems! With a standardPS/2 connector, two buttons, plus a scroll wheel that actsas a third button, this mouse has everything a user wants -at a substantially lower price!General Features:- Standard PS/2 interface- Scroll wheel acts as third button- Ergonomic shape for left or right hand- Works with all major software applications- No driver required- Ready for Windows 95/98/NT/2000/ME/XP- Makes web browsing easier! Compatibility/Requirements/Disclosures:** Requirements *** Available PS/2 mouse port More ...
Spire RackSper VII Socket 423/603/604 CPU CoolerSpire RackSper VII Socket 423/603/604 CPU Cooler ** Spire Coolers RackSper VII Socket 423/603/604 Cooler **Need a reliable cooler for your Socket 423, 603, or 604Intel processor? The Spire RackSper VII features Aluminumconstruction with a copper insert for optimal heat transfer.Its fan features no fewer than 11 blades, and rotates at3700 RPM, so it is quiet while being effective. You knowthat this is one cooler you should put in your cart today!General Features:- Aluminum construction with copper base insert- Thermal compound preapplied- 11-blade 70 mm 12VDC fan for quiet operation- Fan guard to prevent fan or wire damage- 3700 RPM (+/- 10%) rated rotational speed- 3.0 watts rated power consumption- 29.7 dBA rated noise level- 28 CFM at 3700 RPM rated air flow- 0.25 A rated current draw- 3-pin motherboard power/tach connector- Works with socket 423, socket 603 and socket 604 CPUsNotes:- UPC: 4 955965 193914 Compatibility/Requirements/Disclosures:** Requirements *** Supported processor/motherboard* 3-pin mainboard fan connector More ...
Intel PIII 850MHz 100MHz 256KB Slot 1 CPUIntel PIII 850MHz 100MHz 256KB Slot 1 CPU ** Intel Pentium III 850MHz 256KB 100MHz Secc 2 **- Standard Intel Pentium III Processor- 850 MHz- Slot 1, SECC2 Package- 100MHz Bus Speed Version- 256KB L2 Cache - CPU Only Compatibility/Requirements/Disclosures:* Note: CPU is Used* Motherboard that supports PIII 850MHz Slot 1 CPU* SECC2 Heatsink & Fan* Country of origin is Costa Rica or Philippines More ...
38x35-in Dance Mat w/Flaming Feet for Playstion38x35-in Dance Mat w/Flaming Feet for Playstion ** 38 x 35-inch Dancing Mat **This dancing mat combines the best features to take your dancing experience to the next level! It offers an anti-slip dance pad with a 1-inch foam and function keys including flaming feet to get the groove going!General Features:- Compatible with PlayStation models- Direct power from PlayStation Console- Dance pad with 1-inch foam- Non-slip dance pad will keep you from sliding around- Measures 38 x 35 inchesInput Function Keys on Pad:- Select/Start- Up/Down/Left/Right- Flaming FeetPackage Includes:- 38 x 35-inch Dancing Mat- Dance Pad Instructions- Four (4) corner tape anchors Compatibility/Requirements/Disclosures:** Requirements *** PlayStation console* Dancing game for PS console More ...
AMD Athlon XP 2400+ 266MHz 256KB Socket A CPUAMD Athlon XP 2400+ 266MHz 256KB Socket A CPU ** AMD Athlon XP 2400+ 2.0GHz 256KB 266MHzSocket A CPU **-- General Features:- AMD Athlon XP 2400+ 2000MHz (2.0GHz) CPU- Model 8 Athlon (Thoroughbred)- More instructions per clock cycle!- OPGA Package Type (462-pin Socket A)- Max Front Side Bus of 266MHz- 256KB L2 Cache- QuantiSpeed architecture- 1.65v operating voltage- AMD-AXDA2400DKV3C- CPU Only Compatibility/Requirements/Disclosures:* Motherboard that supports an AMD XP 2400+ 2.0GHZ Socket A CPU* Heatsink & Fan More ...
|
