Ed Brinksma
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings - Lecture Notes in Computer Science Ed Brinksma

Name: Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings - Lecture Notes in Computer Science
Price: 53.99 EUR
Availability: OutOfStock
Author: Ed Brinksma

Cena

€ 53,99

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

Paredzamā piegāde . gada 10. - 18. sept.

Saņemiet paziņojumus par jauniem Ed Brinksma izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings - Lecture Notes in Computer Science

Ed Brinksma

Presenting 20 revised papers and five tool demonstrations, this proceedings volume is organized into sections on space-reduction techniques, tool demonstrationgs, logical techniques, verification support, specification and analysis, theorem proving, model checking and applications.

447 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	1997. gada 20. marts
ISBN13	9783540627906
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	447
Izmēri	156 × 234 × 23 mm · 625 g
Valoda	Vācu
Redaktors	Brinksma, Ed.