| English - Nederlands | ||||
| computercollectief | comcol.nl | |||
| computerboeken & software | computerboeken | |||
| home | producten | verwacht | koopjes | licenties | nieuwsbrief | dealer-info | contact | winkelwagen | ||
| zoeken | nieuw | thema's | acties | hoe bestellen | faq | winkels | over ons | afrekenen |
| computerboeken » algemeen of platformonafhankelijk » theorie » theorie » software testing | ||
 | Formal Approaches to Software TestingSpringer | 2004 | 266 blz. | Alexandre Petrenko, Andreas UlrichThird International Workshop on Formal Approaches to Testing of Software, FATES 2003 Montreal, Quebec, Canada, October 2003, Revised Papers Reference for Developers, Intermediate and Advanced Level onze prijs € 48,90 incl. BTW (€ 46,13 excl. BTW) — ISBN: 9783540208945 | 3540208941 |
| Verzendkosten slechts € 1,95 (voor bestellingen boven de 20 euro in Nederland, daaronder € 4,95) | ||||
| Alleen op bestelling | dit artikel toch bestellen | naar de kassa | ||||||||
| Let op: dit artikel is niet uit voorraad leverbaar maar het kan wel speciaal voor u besteld worden. De levertijd kan variëren van een paar dagen tot een paar weken, afhankelijk van de leverancier. | |||
| This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, held in Montreal, Quebec, Canada, on October 6th, 2003.
The 18 revised full papers presented were carefully selected from 43 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program testing & analysis, test theory & test derivation algorithms, and test methods & test tools. Written for: Researchers and professionals. Keywords: - UML; abstract state machines; - correct systems design; correctness proofs; - efficient testing; finite state machines; - formal methods; formal testing; - input/output transition systems; model checking; - software testing; systems analysis; - testing technologies; testing tools; - timed automata. | ||
| soort artikel | computerboeken | ||
| ons bestelnummer | 4145-G8 | ||
| titel | Formal Approaches to Software Testing | ||
| onderwerp | software testing | ||
| uitgever | Springer [SPR ] | ||
| website uitgever | www.springer.de | ||
| ISBN-13 | 978-3-540-20894-5 | 9783540208945 | ||
| ISBN-10 | 3-540-20894-1 | 3540208941 | ||
| gepubliceerd in | 2004 | ||
| geschreven door | Alexandre Petrenko, Andreas Ulrich | ||
| dit boek behandelt | US versie | ||
| taal van het boek | Engels US | ||
| aantal bladzijden | 266 | ||
| uitvoering | softcover | ||
| geïmporteerd door | Computercollectief BV | ||
| artikelcode fabrikant | 978-3-540-20894-5 | ||
| barcode | 9783540208945 |
| naar uitvoerig | compact overzicht | Nog 66 andere boeken over software testing | ||
 | verzendkosten - verkoopvoorwaarden - privacyverklaring | ||