Books on the topic 'Interface and specification languages'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Interface and specification languages.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
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.