<--- Back to Details
First PageDocument Content
Formal methods / Rodin tool / Theoretical computer science / Software engineering / Rodin / Michael Butler / B-Method / Independent Investigations Group
Date: 2006-11-21 08:16:27
Formal methods
Rodin tool
Theoretical computer science
Software engineering
Rodin
Michael Butler
B-Method
Independent Investigations Group

Microsoft Word - D20-1.0.c.doc

Add to Reading List

Source URL: rodin.cs.ncl.ac.uk

Download Document from Source Website

File Size: 454,01 KB

Share Document on Facebook

Similar Documents

Ke konci pak připomenouti jest, že nikoli zásluhou, ale chápanou povinnost většina, rodin isr. na Z. jest uvědomen a smýšlen českého a demokratické repu blice věrného. v okr. zbraslavském nelze přehlédn

DocID: 1uTD3 - View Document

Koncepce prorodinné politiky statutárního města Jablonec nad Nisou na období „Jablonec nad Nisou je partnerem rodin, aktivně s nimi spolupracuje, naslouchá jim, vytváří dobré prostředí pro rodi

DocID: 1tkOa - View Document

Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D34 (D7.4)

DocID: 1sMLm - View Document

PLAN AKTIVNOSTI RADNE GRUPE ZA DIGITALNE KOMUNIKACIJE Radnu grupu (u daljnjem tekstu RG) za digitalne komunikacije vodi Zlata Rodin (PR i Social Media Specialist, agencija Gingernet) dok su ostali članovi Ivan Salopek

DocID: 1sG4R - View Document

Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D16

DocID: 1sG0G - View Document