Книги з теми "Interface and specification languages"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 книг для дослідження на тему "Interface and specification languages".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.
Liang, Sheng. The Java Native interface: Programmer's guide and specification. Reading, Mass: Addison-Wesley, 1999.
Grimm, Christoph, ed. Languages for System Specification. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/b116586.
Bjørner, Dines, and Martin C. Henson, eds. Logics of Specification Languages. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74107-7.
Villar, Eugenio, and Jean Mermet, eds. System Specification & Design Languages. Boston, MA: Springer US, 2003. http://dx.doi.org/10.1007/b105967.
Andrews, D. J., J. F. Groote, and C. A. Middelburg, eds. Semantics of Specification Languages (SoSL). London: Springer London, 1994. http://dx.doi.org/10.1007/978-1-4471-3229-5.
Kaźmierski, Tom J., and Adam Morawiec, eds. System Specification and Design Languages. New York, NY: Springer New York, 2012. http://dx.doi.org/10.1007/978-1-4614-1427-8.
Bergé, Jean-Michel. High-Level System Modeling: Specification Languages. Boston, MA: Springer US, 1995.
Villar, Eugenio, ed. Embedded Systems Specification and Design Languages. Dordrecht: Springer Netherlands, 2008. http://dx.doi.org/10.1007/978-1-4020-8297-9.
Langworthy, David. The Oslo modeling language: Draft specification. Upper Saddle River, NJ: Addison-Wesley Professional, 2008.
Guttag, John. Larch: Languages and Tools for Formal Specification. New York City, New York, USA: Springer, 1993.
Leler, Wm. Constraint programming languages: Their specification and generation. Reading, Mass: Addison-Wesley Pub. Co., 1988.
Guttag, John V., James J. Horning, S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing. Larch: Languages and Tools for Formal Specification. New York, NY: Springer New York, 1993. http://dx.doi.org/10.1007/978-1-4612-2704-5.
Guttag, John. Larch: Languages and tools for formal specification. New York: Springer-Verlag, 1993.
Shyamasundar, Rudrapatna. Real time programming: Languages, specification and verification. Singapore: World Scientific, 2010.
Guttag, John V. Larch: Languages and Tools for Formal Specification. New York, NY: Springer New York, 1993.
Cerny, E. Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method. Boston, MA: Springer US, 1998.
Voss, K. System Specification with labelled Nets and the Notion of Interface Equivalence. Darmstadt: GMD, 1986.
Chandra, Pritha. The lexicon-syntax interface: Perspectives from South Asian languages. Amsterdam: John Benjamins Publishing Company, 2014.
Boulet, Pierre, ed. Advances in Design and Specification Languages for SoCs. Boston, MA: Springer US, 2005. http://dx.doi.org/10.1007/b136935.
Vachoux, A., ed. Applications of Specification and Design Languages for SoCs. Dordrecht: Springer Netherlands, 2006. http://dx.doi.org/10.1007/978-1-4020-4998-9.
Zilog. Z8038/Z8538 military FIO FIFO input/output interface unit: Military product specification. Campbell, CA: Zilog, 1988.
Crowle, Simon. The Design and evaluation of the specification framework for user interface design. Poole: Bournemouth University, 2003.
Kaplan, Simon M. Specification and verification of context conditions for programming languages. Urbana, Ill: Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1985.
Villar, Eugenio. System Specification and Design Languages: Best of FDL'02. Dordrecht: Springer, 2003.
Huss, Sorin A., ed. Advances in Design and Specification Languages for Embedded Systems. Dordrecht: Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-6149-3.
Carbonell, Josep Quer i. Mood at the interface. The Hague: Holland Academic Graphics, 1998.
International Workshop on Semantics of Specification Languages (1993 Utrecht, Netherlands). Semantics of specification languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993. London: Springer-Verlag, 1994.
Andrews, D. J. Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993. London: Springer London, 1994.
Gianollo, Chiara, Doris Penka, and Agnes Jäger. Language change at the syntax-semantics interface. Berlin: De Gruyter Mouton, 2015.
IEEE Computer Society. Design Automation Standards Committee. IEEE standard for property specification language (PSL). New York: Institute of Electrical and Electronics Engineers, 2010.
Gannon, John D. Software specification: A comparison of formal methods. Norwood, N.J: Ablex Pub. Co., 1994.
Costantini, Francesco. Interface perspectives on clausal complementation: The case of subjunctive obviation. Venezia: Cafoscarina, 2009.
Eduard, Cerny, ed. Hierarchical annotated action diagrams: An interface-oriented specification and verification method. Boston: Kluwer Academic Publishers, 1998.
Cerny, Eduard, Bachir Berkane, Pierre Girodias, and Karim Khordoc. Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method. Springer, 1998.
Institute Of Electrical and Electronics Engineers. 1224.2-1993: IEEE Standard for Information Technology-Directory Services Application Program Interface, Api-Language Independent Specification, ANSI (IEEE Standard for Information Technology). Institute of Electrical & Electronics Enginee, 1998.
ATM user-network interface specification. Englewood Cliffs, N.J: PTR Prentice Hall, 1993.
Corporation, Intel, ed. Multibus II interconnect interface specification. Santa Clara: Intel, 1990.
Henson, Martin C., and Dines Bjørner. Logics of Specification Languages. Springer, 2010.
Dines, Bjorner Martin C. Henson. Logics of Specification Languages. Springer, 2008.
Supinski, Bronis R. de, The OpenMP Architecture Review Board, and Michael Klemm. OpenMP Application Programming Interface Specification Version 5.0. Independently published, 2018.
Group, Open. Data Link Provider Interface (DLPI) (CAE Specification). The Open Group, 1997.
Microsystems, Sun, ed. OPEN LOOK graphical user interface functional specification. Reading, Mass: Addison-Wesley, 1989.
ATM user-network interface specification: Version 3.0. Englewood Cliffs, N.J: PTR Prentice Hall, 1993.
Shigeki, Umeda, and National Institute of Standards and Technology (U.S.), eds. Interface specification for a supply chain simulation. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 2001.
Group, The Open. System Interface Definitions, Issue 5 (CAE Specification). The Open Group, 1997.
Association, TRON. I/O Control Interface (Ctron Specification Series). Ios Pr Inc, 1988.
Association, TRON. Data Storage Control Interface (Ctron Specification Series). Ios Pr Inc, 1988.
CTOS/Open application programming interface specification: Networking services. Englewood Cliffs, N.J: Prentice Hall, 1992.
Association, Telecommunications Industry, and Electronic Industries Association, eds. CDMA2000 high rate packet data air interface specification. Arlington, VA, U.S.A: Telecommunications Industry Association, 2003.
Liang, Sheng. Java(TM) Native Interface: Programmer's Guide and Specification. Prentice Hall PTR, 1999.