תוצאות חיפוש - "Computer software Verification Congresses."
בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
-
1
Software safety and security tools for analysis and verification /
יצא לאור 2012נושאים: “...Computer software Verification Congresses....”
An electronic book accessible through the World Wide Web; click to view
אלקטרוני Conference Proceeding ספר אלקטרוני -
2
Engineering dependable software systems /
יצא לאור 2013נושאים: “...Computer software Verification Congresses....”
An electronic book accessible through the World Wide Web; click to view
אלקטרוני Conference Proceeding ספר אלקטרוני -
3
Dependable software systems engineering /
יצא לאור 2015נושאים: “...Computer software Verification Congresses....”
An electronic book accessible through the World Wide Web; click to view
אלקטרוני ספר אלקטרוני -
4
Verification of infinite-state systems with applications to security
יצא לאור 2006נושאים: “...Computer software Verification Congresses....”
An electronic book accessible through the World Wide Web; click to view
אלקטרוני Conference Proceeding ספר אלקטרוני