Verified Software (Paperback)
- Theories, Tools, Experiments

Verified Software af Natarajan Shankar, Jim Woodcock, ISBN 9783540878728

Se stort billede

Forfatter: Natarajan Shankar & Jim Woodcock

(ingen boganmeldelser)

Jeg har læst den
Jeg ejer den

Vælg antal:

Læg i kurv

Tip en ven

Link til denne side

Leveringsgaranti - bøger til tiden

Ubegrænset returret

Fri fragt, ved køb over kr. 500,-

Salgsbetingelser

Normalpris:	~~DKK 519,95~~
Din pris:	kr. 382,56
Du sparer:	DKK 137,39 (26,42%)
Leveringstid:	5-10 hverdage
Leveringspris:	kr 19,00 Gratis levering ved køb over kr 500 - Læs mere

Serie:	Lecture Notes in Computer Science / Programming and Software Engineering (No. 5295)
Sprog:	Engelsk
	Se produktdetaljer (sideantal, udgivelsesdato, udgave, ISBN m.v.)

Alt om bogen:

Beskrivelse Anmeldelser

Andre bøger, der måske vil interessere dig:

Don't Make Me Think

af: Steve Krug

DKK 225,65

Agile Project Management With Scrum

af: Ken Schwaber

DKK 225,59

Designing Interactive Systems

af: Phil Turner, David Benyon & Susan Turner

DKK 410,08

Praktisk it-projektledelse

af: Stephen Biering Sørensen

DKK 498,00

Information Architecture for the World Wide Web

af: Peter Morville & Louis Rosenfeld

DKK 219,68

Agile Software Development With Scrum

af: Ken Schwaber

DKK 419,95

Head First Html With CSS & XHTML

af: Elisabeth Freeman, Bert Bates & Eric Freeman

DKK 219,68

Excel 2007 Bible

af: John Walkenbach

DKK 225,59

Microsoft SharePoint 2010 for Dummies

af: Vanessa L Williams

DKK 169,18

Introduction to Algorithms

af: Thomas H Cormen, Ronald L Rivest, Clifford Stein & Charles E Leiserson

DKK 403,38

Code Complete

af: Steven C Mcconnell

DKK 282,01

Applying UML and Patterns

af: Craig Larman

DKK 314,98

Microsoft SQL Server 2008 For Dummies

af: Mike Chapple

DKK 142,02

Beskrivelser af Verified Software

Forlagets beskrivelse: Contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. This book includes the sharing and interoperability of tools, the alignment of theory and practice, and the identification of challenge problems. Illustrations
Bibliotekernes beskrivelse: This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.