Search on Old'aVista.  Enter a few words in EnglishPortugueseSpanishFrenchItalianGerman FAQ - Advanced Old'aVista IndexInternet Archive Example: Tornado Hunting in America
Home > Science > Computer Science > Formal Methods CATEGORIES Higher-Order Logic Theorem Provers  (1997) Institutes  (1997) Verification  (1997) WEBSITES CSP Archive [IA][Direct] - Contains information relevant to the process algebra CSP (Communicating Sequential Processes) Evolving Algebras [IA][Direct] - General-purpose specification and validation methodology for hardware and software systems. Logic programming and WAM. Hypertext Bibliography of Complexity Measures [IA][Direct] Index - Formal Method Sites [IA][Direct] Index - Formal Methods - WWW Virtual Library [IA][Direct] Petri Nets [IA][Direct] - A formal graphical notation for modelling systems with concurrency
Proud member of TheOldNet webring! Check some other cool websites! [Previous site] - [Random site] - [Next site]
Old'aVista Home | Why? | What's new | Share the Love | Supporters | Contribute | FAQ | Guestbook | Chat

Copyright © 1988-2023 Eric Mackrodt

hello.eric.experiment@gmail.com