Gratis verzending vanaf 59,99 euro.
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen.
Gratis account aanmaken
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Contact
Hoe winkelen bij ons werkt
Help
Bezorging
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Gratis bezorging met Zásilkovna boven 59.99 €
Winkelgids
Mijn account
▸
Leeg :-(
0
Gratis verzending vanaf 59,99 euro.
Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
Taal
Engels
Engels
Boek
Gebonden (paperback)
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine...
Volledige beschrijving
Libristo-code: 01570773
?
148 b
148 b
61.10
€
In extern magazijn in kleine hoeveelheid
Wordt binnen 13-18 dagen verzonden
Retourneren binnen 30 dagen
Klanten kochten ook
/
Gebonden (paperback)
70.61
€
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.
Actrice
&
Polyglot
EWA KASP
voor
Video afspelen
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.
Informatie over het boek
Volledige naam
Formal Methods and Software Engineering
Auteur
Shaoying Liu, Tom Maibaum, Keijiro Araki
Taal
Engels
Engels
Bindwijze
Boek - Gebonden (paperback)
Datum van uitgifte
2008
Aantal pagina's
397
EAN
9783540881933
ISBN
354088193X
Libristo-code
01570773
Uitgeverij
Springer, Berlin
Gewicht
635
Afmetingen
155 x 235 x 21
Categorieën
Informatica en informatietechnologie
>
Computerprogrammering / softwareontwikkeling
>
Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie
>
Computerprogrammering / softwareontwikkeling
>
Programmeren en scripttalen: algemeen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Gebonden (paperback)
8.59
€
/
Gebonden (paperback)
154.39
€