Public marks with tag formal Public marks with tag formal http://blogmarks.net/marks/tag/formal фотографии Автомобилей http://loyd.com.ua/foto/index/avto фотографии Автомобилей 2008-01-14T10:08:52Z chernobylnews InformationandKnowledgeManagement, information, informatik, imported, images, howto, html, history, graphics, graph, man, men, journal, news, online, фотографии, Автомобилей, formal, free, freeware, fun, games, google

фотографии Автомобилей

by chernobylnews

фотографии Автомобилей

Copy | React (0)
]]> formal wear http://www.wildernessx.com/formal-wear/ formal wear 2007-02-19T05:29:52Z blogger77 wear, formal

formal wear

by blogger77 & 1 other(s)

formal wear

Copy | React (0)
]]> Conocimientos - La divisa del nuevo milenio http://www.conocimientosweb.net/portal/index.php 2007-02-17T13:28:56Z acurbelo tutoriales,, cursos, cortos,, informatica,, portal, de, la, educación, no, formal

Conocimientos - La divisa del nuevo milenio

by acurbelo & 1 other(s)

Copy | React (0)
]]> wikipage — val-libre http://www.mjc-athena.org/val-libre/Members/mariano/FormalLinux/ 2006-02-01T10:19:51Z GeorgesMariano wiki, del.icio.us, linux, formal, formal:linux

wikipage — val-libre

by GeorgesMariano

Copy | React (0)
]]> Official Site of STMIK Jakarta STI&K http://www.stmik-jakarta.ac.id/ 2006-01-23T01:36:53Z dmw edu, formal

Official Site of STMIK Jakarta STI&K

by dmw

Copy | React (0)
]]> Departement Teknik Informatika http://www.ithb.ac.id/departemen/if/public_html/index.php 2006-01-23T01:36:52Z dmw edu, formal

Departement Teknik Informatika

by dmw

Copy | React (0)
]]> Sekolah Tinggi Teknologi Informatika & Komputer MERIDIAN http://www.meridian.ac.id/home.php 2006-01-23T01:36:51Z dmw edu, formal

Sekolah Tinggi Teknologi Informatika & Komputer MERIDIAN

by dmw

Copy | React (0)
]]> informatika.petra.ac.id http://it.petra.ac.id/ 2006-01-23T01:36:50Z dmw edu, formal

informatika.petra.ac.id

by dmw

Copy | React (0)
]]> Situs Resmi Universitas Gunadarma http://gunadarma.ac.id/fakultas/ilkom/index.php 2006-01-23T01:36:48Z dmw edu, formal

Situs Resmi Universitas Gunadarma

by dmw

Copy | React (0)
]]> Akademi Manajemen Informatika dan Komputer AMIK Wahana Mandiri http://www.awm.ac.id/ 2006-01-23T01:36:47Z dmw edu, formal

Akademi Manajemen Informatika dan Komputer AMIK Wahana Mandiri

by dmw

Copy | React (0)
]]> Universitas Merdeka Malang : Official Site http://www.unmer.ac.id/ 2006-01-23T01:36:46Z dmw edu, formal

Universitas Merdeka Malang : Official Site

by dmw

Copy | React (0)
]]> :: Center for Management Information System - YARSI :: http://fti.yarsi.ac.id/ 2006-01-23T01:36:19Z dmw edu, formal

:: Center for Management Information System - YARSI ::

by dmw

Copy | React (0)
]]> Profil :: Magister Komputer Program Pasca Sarjana Teknik Informatika Universitas Dian Nuswantoro http://www.dinus.ac.id/pps/profil.html 2006-01-23T01:35:59Z dmw edu, formal

Profil :: Magister Komputer Program Pasca Sarjana Teknik Informatika Universitas Dian Nuswantoro

by dmw

Copy | React (0)
]]> Manajemen Informatika, Universitas Merdeka Malang http://www.informatika.unmer.ac.id/ 2006-01-23T01:35:44Z dmw edu, formal

Manajemen Informatika, Universitas Merdeka Malang

by dmw

Copy | React (0)
]]> Prog. Studi Teknik Informatika - Universitas Atma Jaya Yogyakarta http://www.uajy.ac.id/fti_info_index.asp 2006-01-23T01:35:42Z dmw edu, formal

Prog. Studi Teknik Informatika - Universitas Atma Jaya Yogyakarta

by dmw

Copy | React (0)
]]> Institut Sains dan Teknologi Al-Kamal http://www.ista.ac.id/program/mif.html 2006-01-23T01:35:39Z dmw edu, formal

Institut Sains dan Teknologi Al-Kamal

by dmw

Copy | React (0)
]]> AMIK http://www.jayabaya.ac.id/program/amik.htm 2006-01-23T01:35:25Z dmw edu, formal

AMIK

by dmw

Copy | React (0)
]]> Bina Sarana Informatika Official Website http://www.bsi.ac.id/ 2006-01-23T01:35:24Z dmw edu, formal

Bina Sarana Informatika Official Website

by dmw

Copy | React (0)
]]> Universitas YARSI - Fakultas teknologi Informatka http://www.yarsi.ac.id/fakultas/fti/ 2006-01-23T01:35:21Z dmw edu, formal

Universitas YARSI - Fakultas teknologi Informatka

by dmw

Copy | React (0)
]]> IFM 2005 http://www.win.tue.nl/ifm/ 2006-01-17T05:39:54Z GeorgesMariano research, del.icio.us, conference, formal

IFM 2005

by GeorgesMariano

Copy | React (0)
]]> Formal Methods 2006 http://fm06.mcmaster.ca/ 2006-01-17T05:37:22Z GeorgesMariano del.icio.us, conference, method, formal

Formal Methods 2006

by GeorgesMariano

Copy | React (0)
]]> The contributions http://coq.inria.fr/contribs-eng.html Formal verification of an extension of a UNIX compatible, secure filesystem 2006-01-16T13:26:55Z GeorgesMariano del.icio.us, unix, secure, filesystem, formal, Coq

The contributions

by GeorgesMariano

Formal verification of an extension of a UNIX compatible, secure filesystem

Copy | React (0)
]]> L'outil d'aide à la preuve Coq http://coq.inria.fr/coq-fra.html 2006-01-16T13:24:05Z GeorgesMariano del.icio.us, tool, OCaml, formal, proof, Coq, INRIA:LogiCal

L'outil d'aide à la preuve Coq

by GeorgesMariano

Copy | React (0)
]]> The B Formal Method Bibliography http://download.gna.org/brillant/docs/B-Bibliography/B-Bibliography.html 2006-01-16T13:16:36Z GeorgesMariano del.icio.us, bibliography, bibtex, method, formal, Bmethod

The B Formal Method Bibliography

by GeorgesMariano

Copy | React (0)
]]> The TLA Tools Project http://research.microsoft.com/research/sv/TLA_Tools/ The goal of this project is to develop methods and tools that will permit engineers to apply formal specification and verification to high-level designs of concurrent algorithms and systems. We believe this can significantly improve the design process 2006-01-16T12:42:04Z GeorgesMariano research, del.icio.us, software, microsoft, logic, method, formal, TLA

The TLA Tools Project

by GeorgesMariano

The goal of this project is to develop methods and tools that will permit engineers to apply formal specification and verification to high-level designs of concurrent algorithms and systems. We believe this can significantly improve the design process

Copy | React (0)
]]>