Weryfikacja modelowa (Q644726): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+Model checking
@@ aliases / pl / 0 / aliases / pl / 0 @@
+Model checking
@@ Property / National Library Identifier @@
+a0000002887653
@@ Property / National Library Identifier: a0000002887653 / rank @@
+Normal rank
@@ Property / Related Subject @@
+Logika temporalna
@@ Property / Related Subject: Logika temporalna / rank @@
+Normal rank
@@ Property / Related Subject @@
+Weryfikacja oprogramowania
@@ Property / Related Subject: Weryfikacja oprogramowania / rank @@
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+P38110T34241
@@ Property / Version: P38110T34241 / rank @@
+Normal rank

Latest revision as of 17:49, 28 November 2023