Wyniki wyszukiwania:
wyszukanych pozycji: 3
 |
A Process Algebraic Approach to Software Architecture Design
ISBN: 9781447157663 / Angielski / Miękka / 2014 / 304 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Inthe?eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., 154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of process calculi and behavioral equivalences at the base of process algebra is...
Inthe?eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit...
|
cena:
192,74 zł |
 |
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-
ISBN: 9783540230687 / Angielski / Miękka / 2004 / 297 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the revised versions of nine invited lectures presented by leading researchers at the fourth edition of the International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFT 2004, held in Bertinoro, Italy, September 2004. SFM 2004 is devoted to real-time systems. The lectures presented cover formal models and languages for the specification, modeling, analysis, and verification of time-critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in different domains.... This book presents the revised versions of nine invited lectures presented by leading researchers at the fourth edition of the International School... |
cena:
192,74 zł |
 |
A Process Algebraic Approach to Software Architecture Design
ISBN: 9781848002227 / Angielski / Twarda / 2009 / 304 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Inthe?eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., 154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of process calculi and behavioral equivalences at the base of process algebra is...
Inthe?eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit...
|
cena:
192,74 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
