- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Integrated Formal Methods
6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings
Paperback | Engels | Lecture Notes in Computer Science | Programming and Software Engineering | nr. 4591
€ 105,45
+ 210 punten
Omschrijving
This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.
Specificaties
Betrokkenen
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 662
- Taal:
- Engels
- Reeks:
- Reeksnummer:
- nr. 4591
Eigenschappen
- Productcode (EAN):
- 9783540732099
- Verschijningsdatum:
- 22/06/2007
- Uitvoering:
- Paperback
- Formaat:
- Trade paperback (VS)
- Afmetingen:
- 156 mm x 234 mm
- Gewicht:
- 929 g
Alleen bij Standaard Boekhandel
+ 210 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.