Advanced Lectures on Software Engineering LASER Summer School 2007/2008
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
- Engels
- Paperback
- 9783642130090
- 20 mei 2010
- 187 pagina's
Samenvatting
Topics covered include verification of fine-grain concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 20 mei 2010
- Aantal pagina's
- 187
- Illustraties
- Nee
Betrokkenen
- Hoofdredacteur
- Peter Müller
- Hoofduitgeverij
- Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Overige kenmerken
- Extra groot lettertype
- Nee
- Studieboek
- Nee
- Verpakking breedte
- 163 mm
- Verpakking hoogte
- 15 mm
- Verpakking lengte
- 239 mm
- Verpakkingsgewicht
- 313 g
EAN
- EAN
- 9783642130090
Je vindt dit artikel in
- Categorieën
- Taal
- Engels
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Algemene boeken
Kies gewenste uitvoering
Bindwijze
: Paperback
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.