Formalūs metodai (kompiuteriniai mokslai)
-
Formal Methods for Industrial Critical Systems
Fornecedor:Stefania GnesiPreço normal €100,83Preço de saldo €100,83 Preço normal €116,61Preço unitário porEm promoção -
Formal Methods in Human-Computer Interaction
Fornecedor:Michael HarrisonPreço normal €66,00Preço de saldo €66,00 Preço normal €76,37Preço unitário porEm promoção -
Descriptional Complexity of Formal Systems
Fornecedor:Jeffrey ShallitPreço normal €60,37Preço de saldo €60,37 Preço normal €73,66Preço unitário porEm promoção -
Teamwork in Multi-Agent Systems
Fornecedor:Barbara Dunin-KȩpliczPreço normal €98,96Preço de saldo €98,96 Preço normalPreço unitário por -
Runtime Verification
Fornecedor:Turkey) RV (Conference) (3rd 2012 IstanbulPreço normal €60,37Preço de saldo €60,37 Preço normal €72,00Preço unitário porEm promoção -
Rigorous Methods for Software Construction and Analysis
Fornecedor:Jean-Raymond AbrialPreço normal €60,37Preço de saldo €60,37 Preço normalPreço unitário por -
Process Algebra for Parallel and Distributed Processing
Fornecedor:Michael AlexanderPreço normal €80,99Preço de saldo €80,99 Preço normalPreço unitário por -
Practical UML Statecharts in C/C++
Fornecedor:Miro SamekPreço normal €74,55Preço de saldo €74,55 Preço normal €86,38Preço unitário porEm promoção -
NASA Formal Methods
Fornecedor:Julia M. BadgerPreço normal €73,49Preço de saldo €73,49 Preço normalPreço unitário por -
Modeling and Verification of Real-time Systems
Fornecedor:BookshopPreço normal €229,71Preço de saldo €229,71 Preço normalPreço unitário por -
Modeling in Event-B
Fornecedor:Jean-Raymond AbrialPreço normal €153,00Preço de saldo €153,00 Preço normal €195,90Preço unitário porEm promoção
