W. Kim (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : FIRST INTERNATIONAL WORKSHOP, TACAS '95, AARHUS, DENMARK, MA

Ed Brinksma (ed.); W. Rance Cleaveland (ed.); Kim G. Larsen (ed.); Tiziana Margaria (ed.); Bernhard Steffen (ed.)
Springer (1995)
Pehmeäkantinen kirja

49,60 €

QUERY PROCESSING IN DATABASE SYSTEMS

W. Kim (ed.); D.S. Reiner (ed.); Don Batory (ed.)
Springer (2011)
Pehmeäkantinen kirja

97,90 €

FORENSIC PATHOLOGY OF INFANCY AND CHILDHOOD

Kim A. Collins (ed.); Roger W. Byard (ed.)
Springer (2014)
Kovakantinen kirja

687,60 €

ADVANCED BIOMATERIALS IN BIOMEDICAL ENGINEERING AND DRUG DELIVERY SYSTEMS

Naoya Ogata (ed.); Sung W. Kim (ed.); Jan Feijen (ed.); Teruo Okano (ed.)
Springer (2014)
Pehmeäkantinen kirja

129,90 €

EAST ASIAN ECOCRITICISMS : A CRITICAL READER

S. Estok (ed.); W. Kim (ed.)
Palgrave Macmillan (2013)
Pehmeäkantinen kirja

49,60 €

TAURINE 10

Dong-Hee Lee (ed.); Stephen W. Schaffer (ed.); Eunkyue Park (ed.); Ha Won Kim (ed.)
Springer (2017)
Kovakantinen kirja

387,30 €

TAURINE 10

Dong-Hee Lee (ed.); Stephen W. Schaffer (ed.); Eunkyue Park (ed.); Ha Won Kim (ed.)
Springer (2018)
Pehmeäkantinen kirja

387,30 €

Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, Ma

Ed Brinksma (ed.), W. Rance Cleaveland (ed.), Kim G. Larsen (ed.), Tiziana Margaria (ed.), Bernhard Steffen (ed.)

49,60 €

Springer
Sivumäärä: 298 sivua
Asu: Pehmeäkantinen kirja
Painos: 1995
Julkaisuvuosi: 1995, 23.11.1995 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1019

This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995.
The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus