Verification Induction Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Afbeeldingen
Artikel vergelijken
- 9783642171710
- 16 november 2010
- 143 pagina's
Samenvatting
Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Oorspronkelijke releasedatum
- 16 november 2010
- Aantal pagina's
- 143
Betrokkenen
- Hoofdredacteur
- Simon Siegler
- Tweede Redacteur
- Nathan Wasser
- Hoofduitgeverij
- Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Overige kenmerken
- Product breedte
- 159 mm
- Product hoogte
- 13 mm
- Product lengte
- 241 mm
- Verpakking breedte
- 159 mm
- Verpakking hoogte
- 13 mm
- Verpakking lengte
- 241 mm
- Verpakkingsgewicht
- 254 g
EAN
- EAN
- 9783642171710
Je vindt dit artikel in
- Categorieën
- Taal
- Engels
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Algemene boeken
Kies gewenste uitvoering
Bindwijze
(1)
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.