Software and systems safety specification and verification /

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Ngā kaituhi rangatōpū:	ebrary, Inc, NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification
Ētahi atu kaituhi:	Broy, Manfred, Leuxner, Christian, Hoare, A. G.
Hōputu:	Tāhiko Mauhanga Hui īPukapuka
Reo:	Ingarihi
I whakaputaina:	Amsterdam, The Netherlands : IOS Press, 2011.
Rangatū:	NATO science for peace and security series. Information and communication security ; v. 30.
Ngā marau:	Software protection > Congresses. Computer software > Reliability > Congresses. Software engineering > Congresses. Computer security > Congresses. System safety > Congresses. Electronic books.
Urunga tuihono:	An electronic book accessible through the World Wide Web; click to view
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Me noho koe te mea tuatahi ki te waiho tākupu!

Ngā tūemi rite