Formal Methods in System Design

Publisher:Springer US
ISSN:0925-9856
E-ISSN:1572-8102
Categories:Information Technology - Computer Architecture, Languages and Compilers
Information Technology - Computer Science (Hardware & Networks)
Information Technology - Software Engineering
Material Science and Metallurgy - Super Conductors
Mathematical Sciences - Applied Mathematics
Available online:AvailabilityUsage Restrictions
Canadian Research Knowledge Network SpringerLink ArchiveAvailable from 1992/07/01 volume: 1 issue: 1 until 1996/11/30 volume: 9 issue: 3E-Reserve CMS Course Packs Link Print More Info
Canadian Research Knowledge Network SpringerLink CurrentAvailable from 1997 volume: 10 issue: 1E-Reserve CMS Course Packs Link Print More Info