Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Tacas '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers, Tacas '95, Aarhus, Denmark, May - Ed Brinksma - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540606307 - 1995. gada 23. novembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Ed Brinksma
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Tacas '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers, Tacas '95, Aarhus, Denmark, May

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 25. nov. - . gada 3. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Ed Brinksma izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

These papers on tools and algorithms for the construction and analysis systems focus on such areas as refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, and temporal and modal logics.

305 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1995. gada 23. novembris
ISBN13 9783540606307
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 305
Izmēri 156 × 234 × 16 mm   ·   435 g
Valoda Vācu  
Redaktors Brinksma, Ed.
Redaktors Cleaveland, W. Rance
Redaktors Larsen, Kim G.
Redaktors Margaria, Tiziana
Redaktors Steffen, B.

Vairāk no Ed Brinksma

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Ed Brinksma