Search Results for spécification. - Narrowed by: 2006SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dsp$0025C3$0025A9cification.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026te$003dILS$0026ps$003d300?2025-01-06T13:20:31ZSoftware specification methodsent://SD_ILS/0/SD_ILS:3023622025-01-06T13:20:31Z2025-01-06T13:20:31ZAuthor Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html">http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470612514">http://dx.doi.org/10.1002/9780470612514</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software specification and design an engineering approachent://SD_ILS/0/SD_ILS:2873862025-01-06T13:20:31Z2025-01-06T13:20:31ZAuthor Munson, John C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203496299">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering 2 Specification of Systems and Languagesent://SD_ILS/0/SD_ILS:1836562025-01-06T13:20:31Z2025-01-06T13:20:31ZAuthor Bjørner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1839522025-01-06T13:20:31Z2025-01-06T13:20:31ZAuthor Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11752707">http://dx.doi.org/10.1007/11752707</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1855762025-01-06T13:20:31Z2025-01-06T13:20:31ZAuthor Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11955757">http://dx.doi.org/10.1007/11955757</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005ent://SD_ILS/0/SD_ILS:1693402025-01-06T13:20:31Z2025-01-06T13:20:31ZAuthor Vachoux, A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4998-9">http://dx.doi.org/10.1007/978-1-4020-4998-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>