Book serie: / Книги серии: The Morgan Kaufmann Series in Software Engineering and Programming » Page 91 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: The Morgan Kaufmann Series in Software Engineering and Programming » Page 91

book Design Methods for Reactive Systems: Yourdon, Statemate, and the UML (The Morgan Kaufmann Series in Software Engineering and Programming)

Design Methods for Reactive Systems: Yourdon, Statemate, and the UML (The Morgan Kaufmann Series in Software Engineering and Programming)

pdf

Author: R. J. Wieringa
Language: English
Year: 2003

00

27.01.2024

1

0

book Software Engineering for Game Developers (Software Engineering Series)

Software Engineering for Game Developers (Software Engineering Series)

djvu

Author: Ph.D. John P Flynt Omar Salem
Language: English
Year: 2004

00

27.01.2024

0

0

book Software Engineering for Game Developers (Software Engineering Series)

Software Engineering for Game Developers (Software Engineering Series)

pdf

Author: Ph.D. John P Flynt Omar Salem
Language: English
Year: 2004

00

27.01.2024

0

0

book Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)

Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)

pdf

Author: Karin Breitman Marco Antonio Casanova Walt Truszkowski
Language: English
Year: 2006

00

27.01.2024

0

0

book Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

pdf

Author: Tony Hoare (auth.) Peter Müller (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

pdf

Author: Colin Atkinson (auth.) Thomas Kühne Bran Selic Marie-Pierre Gervais François Terrier (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

pdf

Author: Olivier Danvy Chung-chieh Shan Ian Zerny (auth.) Walid Mohamed Taha (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Trustworthy compilers

Trustworthy compilers

pdf

Author: Vladimir O. Safonov
Language: English
Year: 2010

00

27.01.2024

0

0

book Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

pdf

Author: Howard Barringer Klaus Havelund David Rydeheard Alex Groce (auth.) Saddek Bensalem Doron A. Peled (eds.)
Language: English
Year: 2009

00

27.01.2024

2

0

book Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

pdf

Author: Chris Mungall (auth.) Patricia M. Hill David S. Warren (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0