|
|
Algebraic Specification Language
1. <language> (ASL)
["Structured Algebraic Specifications: A Kernel Language",
M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986].
2. <language> (ASF) A language for equational specification of
abstract data types.
["Algebraic Specification", J.A. Bergstra et al, A-W 1989].
(1995-12-13)
Try this search on OneLook / Google
Nearby terms:
Algebraic Interpretive Dialogue « Algebraic Logic Functional language « Algebraic Manipulation Package « Algebraic Specification Language » algebraic structure » Algebra of Communicating Processes » ALGOL
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
PS/2 110-Key Windows Multimedia Keyboard (Sil/Blu)PS/2 110-Key Windows Multimedia Keyboard (Sil/Blu) ** PS/2 110-Key Windows Multimedia Keyboard **This Windows Multimedia Keyboard features a 110-key layout, Multimedia and Internet Hot Keys, and a PS/2 interface. It offers an ergonomic design that makes typing comfortable every time. Get yours today!General Features:- Silver and blue design- PS/2 interface- 110-keys- Black lettering on light gray keys- Multimedia and Internet Hot Keys- Power/Sleep/Wake keys- Tilt legs- Ergonomic design- 50-inch cable length (approximate)Regulatory Approvals:- FCC- CERetail Box Includes:- PS/2 110-Key Windows Multimedia Keyboard Compatibility/Requirements/Disclosures: ** Requirements *** Windows 95/98/ME/2000/XP* Available PS/2 port More ...
STB 4COM 4 Port Serial ISA CardSTB 4COM 4 Port Serial ISA Card ** STB 4COM 4 Port Serial ISA Card **General Features:- 4 ports with 16C550 UARTS with 16 bytes xmit/rcv FIFO - Data rates up to 460.8 Kbps - Flexible addressing and interrupt structure - Works with all popular BBS software: PCBoard, Wildcat, Worldgroup, MBBS, Searchlight, MindWire, Excalibur and more! - FCC Part 15 compliant - Bus Type: ISA - Card Slot: 16-bit - Number of I/O Ports: 4Notes: - Card ONLY - No drivers or documentation- Not standard 9 pin or 25 pin serial ports- STB part # 210-0091-00x- FCC ID: EKSUSA4COM More ...
Reader Rabbit 2nd GradeReader Rabbit 2nd Grade Learn math, science, grammar and more! Reader Rabbit 2nd Grade makes learning stimulating and fun. An effective way to build skills, confidence, and a life-long love of learning. Ages 6-8. Windows 95/98/ME/2000/XP More ...
Intel Pentium 233MHz MMX Socket 7 CPUIntel Pentium 233MHz MMX Socket 7 CPU ** Intel Pentium 233MHz CPU with MMX **- Pentium 233MHz CPU with MMX Multimedia Extentions- Socket 7- No Heatsink/Fan- CPU OnlyCompatibility/Requirements/Disclosures:** Requirements **Socket 7 Heatsink & Fan* Motherboard that supports 233MHz MMX Pentium CPU More ...
Intel Celeron 333MHz Processor Mobile ModuleIntel Celeron 333MHz Processor Mobile Module ** Intel Celeron 333MHz Processor Mobile Module **The Mobile Celeron processor allows exceptional value notebooks to be designed for today’s mobile applications.- Mobile Module Connector 1 (MMC-1)- 333 MHz Core CPU - Integrated 16 Kbytes of Data and 16Kbytes of Instruction Level-One Cache - Integrated on-die 128 Kbytes Level-Two Cache - Low Power GTL+ Processor System Bus Interface operating at 66 MHz - Integrated Floating-Point Unit - 64-bit External Data Bus - Supports the Intel Architecture MMX™Technology - Supports the Intel Architecture with Dynamic Execution - Quick Start Mode for low power , fast exit (low latency) clock “throttling”- Deep Sleep mode for extremely low power dissipation - Integrated Thermal Diode - High-Reliability Error Detection Notes:- Intel part # PMH33301002AACompatibility/Requirements/Disclosures:* Notebook/Laptop that supports Celeron 333MHz Mobile MMC-1 processors More ...
Mitsumi USB 2.0 FDD &7-in-1 Reader/Writer (Black)Mitsumi USB 2.0 FDD &7-in-1 Reader/Writer (Black) ** Black Mitsumi Internal USB 2.0 Floppy Drive and 7-in-1 Card Reader/Writer **This Mitsumi takes a 1.44 MB floppy disk drive and combinesit with a 7-in-1 card reader/writer for quick access to allsorts of media. The attractive black bezel is ideal for anyblack computer case.General Features:- Black bezel- 1.44 MB floppy disk drive- 7-in-1 card reader/writer- 500 Kbps maximum transfer rate (FDD)- 480 Mbps maximum transfer rate (memory cards)- 3.5-inch form factor- Plug and Play- USB 2.0 interface- Memory cards are bus poweredSupported Media Formats:- CompactFlash- IBM MicroDrive- Secure Digital Card- MultiMedia Card- Memory Stick- SmartMediaNotes:- Drive only Compatibility/Requirements/Disclosures:** Requirements *** Microsoft Windows 98/2000/ME/XP* Available 3.5-inch drive bay* Available internal USB 2.0 header* Available floppy disk controller* Available 4-pin power connector Informational Links:http://www.usb.org/info/usb_nomenclature More ...
|
