scientific article; zbMATH DE number 1734135
From MaRDI portal
Publication:4328480
zbMath0995.68008MaRDI QIDQ4328480
Publication date: 25 April 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Reliability, availability, maintenance, inspection in operations research (90B25) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99) Reliability, testing and fault tolerance of networks and computer systems (68M15)
This page was built for publication: