Księgarnia internetowa Amazonka› Książki› książki obcojęzyczne› angielskie› Scientific, Technical and Medical› Software Verification Based on Game Semantics and Process Algebra - Aleksandar Dim...

Software Verification Based on Game Semantics and Process Algebra

Software Verification Based on Game Semantics and Process Algebra

Autor:

Aleksandar Dimovski

okładka miękka

Twoja cena: 346,50 zł

Sprowadzamy na zamówienie

Podziel się:

Szczegóły

Tytuł: Software Verification Based on Game Semantics and Process Algebra
Autor:

Aleksandar Dimovski

Data wydania: czerwiec 2009
Wydawca: VDM Verlag
Liczba stron: 212
ISBN: 3639163834
EAN: 9783639163834
Wymiary: 222 x 151 x 22

Recenzje

Napisz własną recenzję

Software Verification Based on Game Semantics and Process Algebra - Aleksandar Dim...

Historia przeglądania

Ostatnio przeglądane przedmioty

Software Verification Based on Game Semantics and Process Algebra

Aleksandar Dimovski
Software Test Automation

Dorothy Graham
Software Synthesis from Dataflow Graphs

Shuvra S. Battacharyya
Software Requirements: Closing The User-Developer Gap

David Tuffley
Software Product Lines

Paul Clements
Software Inspection

Tom Gilb