bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Software

« Vorige | 581 - 590 van 666 | Volgende »

581. Use Case Driven Object Modeling with UML

Auteur:: Rosenberg, Doug; Rosenberg, Don; Stephens, Matt; Suscheck, Charles
Uitgever:: Apress 2007
Type:: e-book

582. Value-Based Software Engineering

Auteur:: Biffl, Stefan; Aurum, Aybuke; Boehm, Barry; Grünbacher, Paul; Aurum, Aybüke; Biffl, Stefan; Boehm, Barry; Erdogmus, Hakan; Grünbacher, Paul
Uitgever:: Dordrecht Springer Berlin Heidelberg 2006
Type:: e-book

583. Variations on Constants

Auteur:: Müller-Olm, Markus; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

584. Verification and Validation in Systems Engineering

Auteur:: Debbabi, Mourad; Hassaïne, Fawzi; Alawneh, Luay; Jarraya, Yosr; Soeanu, Andrei
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

585. Verification, Induction, Termination Analysis

Auteur:: Siegler, Simon; Kanade, Takeo; Wasser, Nathan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

586. Verified Software: Theories, Tools, Experiments

Auteur:: Leavens, Gary T.; Kanade, Takeo; O'Hearn, Peter; Rajamani, Sriram K.
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

587. Verified Software: Theories, Tools, Experiments

Auteur:: Hutchison, David; Kanade, Takeo; Müller, Peter; Podelski, Andreas
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

588. Web Engineering

Auteur:: Mendes, Emilia; Mosley, Nile
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

589. Web Services and Formal Methods

Auteur:: Bravetti, Mario; Kanade, Takeo; Nau?nez, Manuel; Núñez, Manuel; Zavattaro, Gianluigi
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

590. Web Services and Formal Methods

Auteur:: Dumas, Marlon; Heckel, Reiko
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book