Concurrency verification : introduction to compositional and noncompositional methods /

Podtytuł:: introduction to compositional and noncompositional methods /
Hasło dodatkowe:: Roever, W.-P. de (1943- ).
Hasło dodatkowe:: Cambridge University Press.
Odpowiedzialność:: Willem-Paul de Roever [et al.].
Wydanie:: 1st paperback ed.
Miejsce:: New York :
Wydany przez :: Cambridge University Press,
w roku:: 2010.
Opis fizyczny:: XXII, 776 s. : il. ; 23 cm.
Seria:: (Cambridge Tracts in Theoretical Computer Science ISSN 0956-9103 54)
(Cambridge tracts in theoretical computer science ; 54)
Uwagi:: Bibliogr. s. 710-746. Indeks.
ISBN:: 978-0-521-80608-4
UKD:: 004.4'233=111

Dopowiedzenie klasyfikacji (UKD):: Programy analizy i usuwania błędów.
=Język angielski.
Hasła przedmiotowe:: Oprogramowanie
Oprogramowanie -- weryfikacja.
Przetwarzanie równoległe (informatyka).
weryfikacja.
Rodzaj dokumentu:: Książka

Tylko dostępne

Egzemplarz
miejsce	numer inwentarzowy	sygnatura	status	data zwrotu	ostatnia akcja w systemie	akcje
T T.18126 krótkoterminowe	T.18126	Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.18126	krótkoterminowe		04/07/2014	Zamów