Αποτελέσματα για "Formal methods (Computer science)" Εμφανίζονται 1-3 από 3 Zend_Feed_Writer 2 (http://framework.zend.com) http://okeanos.lib.unipi.gr/Search/Results?lookfor=%22Formal+methods+%28Computer+science%29%22&type=Subject&sort=last_indexed+desc&limit=50 3 0 50 Cafe an industrial-strength algebraic formal method / Sat, 01 Jan 2000 23:41:47 +0200 http://okeanos.lib.unipi.gr/Record/1%2F40023 http://okeanos.lib.unipi.gr/Record/1%2F40023 Electronic 2000 0 Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking / Sun, 01 Jan 2006 23:41:47 +0200 http://okeanos.lib.unipi.gr/Record/1%2F45059 http://okeanos.lib.unipi.gr/Record/1%2F45059 Drusinsky, Doron. Electronic 2006 Drusinsky, Doron. 0 Verification techniques for system-level design Tue, 01 Jan 2008 23:41:47 +0200 http://okeanos.lib.unipi.gr/Record/1%2F45402 http://okeanos.lib.unipi.gr/Record/1%2F45402 Fujita, Masahiro, 1956- Electronic 2008 Fujita, Masahiro, 1956- 0