Formal methods applied to complex systems : implementation of the B method /

Sparad:

Bibliografiska uppgifter
Övriga upphov:	Boulanger, Jean-Louis (Utgivare, redaktör, sammanställare)
Materialtyp:	Elektronisk E-bok
Språk:	engelska
Utgiven:	London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014.
Serie:	Computer engineering series.
Ämnen:	B method (Computer science) Formal methods (Computer science) Electronic books.
Länkar:	An electronic book accessible through the World Wide Web; click to view
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Internet