Bibliografías temáticas / Veriflex / Libros
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Veriflex.

Libros sobre el tema "Veriflex"

Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 19 de febrero de 2022

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores mejores libros para su investigación sobre el tema "Veriflex".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Hunt, Warren A. FM8501, a verified microprocessor. Berlin: Springer-Verlag, 1994.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Hunt, Warren A., ed. FM8501: A Verified Microprocessor. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-57960-5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Meyer, Bertrand y Jim Woodcock, eds. Verified Software: Theories, Tools, Experiments. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-69149-5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Shankar, Natarajan y Jim Woodcock, eds. Verified Software: Theories, Tools, Experiments. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-87873-5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Leavens, Gary T., Peter O’Hearn y Sriram K. Rajamani, eds. Verified Software: Theories, Tools, Experiments. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15057-9.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Cohen, Ernie y Andrey Rybalchenko, eds. Verified Software: Theories, Tools, Experiments. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54108-7.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Joshi, Rajeev, Peter Müller y Andreas Podelski, eds. Verified Software: Theories, Tools, Experiments. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-27705-4.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Zumpf, Michel. L' art de verifier les dates. Gent: Imschoot, uitgevers, 1992.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Kulisch, Ulrich, Rolf Hammer, Matthias Hocks y Dietmar Ratz. C++ Toolbox for Verified Computing I. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-79651-7.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Giannakopoulou, Dimitra y Daniel Kroening, eds. Verified Software: Theories, Tools and Experiments. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-12154-3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Paskevich, Andrei y Thomas Wies, eds. Verified Software. Theories, Tools, and Experiments. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-72308-2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Blazy, Sandrine y Marsha Chechik, eds. Verified Software. Theories, Tools, and Experiments. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48869-1.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Kulisch, Ulrich, Rolf Hammer, Dietmar Ratz y Matthias Hocks. Numerical Toolbox for Verified Computing I. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-642-78423-1.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Chakraborty, Supratik y Jorge A. Navas, eds. Verified Software. Theories, Tools, and Experiments. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-41600-3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Piskac, Ruzica y Philipp Rümmer, eds. Verified Software. Theories, Tools, and Experiments. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03592-1.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Gurfinkel, Arie y Sanjit A. Seshia, eds. Verified Software: Theories, Tools, and Experiments. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-29613-5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Moore, J. Strother. Piton: A mechanically verified assembly-level language. Dordrecht: Kluwer Academic Publishers, 1996.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Pamphilon, Steve. NVQ assessor D34 internal verifier award explained. Orpington: Harcro, 1998.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Office, General Accounting. NASA: Compliance with cost limits cannot be verified. Washington, D.C: U.S. General Accounting Office, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

The quote verifier: Who said what, where, and when. New York: St. Martin's Press, 2006.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Katja, Frank, ed. A Nuclear weapon free world: Can it be verified? Frankfurt am Main: Peace Research Institute Frankfurt, 1999.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Baird, Mark E. Towards a verified mechanistic model of plankton population dynamics. [s.l.]: typescript, 1999.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Jones, Norvell M. M. Archival copies of thermofax, verifax, and other unstable records. Washington, D. C: National Archives and Records Administration, 1990.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Jones, Norvell M. M. Archival copies of thermofax, verifax, and other unstable records. Washington, D.C: National Archives and Records Administration, 1990.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Ruppenthal, David. GNVQ assessment: Impact of the TDLB "D3" assessor and verifier awards. Birmingham: University of Birmingham, 1994.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Schmidt, Hans-Joachim. Verified transparency: New conceptual ideas for conventional arms control in Europe. Frankfurt am Main, Germany: Peace Research Institute Frankfurt, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Benzinger, Lee A. A model and a method for the stepwise development of verified programs. Urbana, Ill. (1304 W. Springfield Ave., Urbana 61801-2987): Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1987.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Fuhrer, Jeffrey C. Towards a compact, empirically verified rational expectations model for monetary policy analysis. [Boston]: Federal Reserve Bank of Boston, 1996.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Lincoln, Patrick. A formally verified algorithm for interactive consistency under a hybrid fault model. Hampton, Va: Langley Research Center, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Lincoln, Patrick. A formally verified alrgothim for interactive consistency under a hybrid fault model. [Washington, D.C.]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Lincoln, Patrick. A formally verified alrgothim for interactive consistency under a hybrid fault model. [Washington, D.C.]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Indonesia, Lembaga Ekolabel. Kriteria indikator verifier dan skala intensitas pengelolaan hutan alam produksi lestari (PHAPL). Bogor: Lembaga Ekolabel Indonesia, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Ka nea woahu (publish only the verified): An African communication paradigm : inaugural lecture. Legon [Ghana]: University of Ghana, 2008.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Kulisch, Ulrich. C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Tucker, Jenny. The NVQ assessor and verifier handbook: A practical guide to units A1, A2 and V1. 3a ed. London: Kogan Page, 2004.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Kulisch, Ulrich. Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Mahan, Asa. Misunderstood texts of scripture expounded and explained: The doctrine of the higher life thereby verified. Salem, O: Schmul, 1996.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Business & Technology Education Council. Assessing an assessor: Making sense of the standards and finding the evidence : BTEC assessor & verifier awards. London: BTEC, 1994.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

VSTTE 2010 (2010 Edinburgh, Scotland). Verified software: Theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings. Berlin: Springer, 2010.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

VSTTE 2008 (2008 Toronto, Ont.). Verified software: Theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings. New York: Springer, 2008.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Logan, Patricia y Liz Bichmann. Verified Kill. CreateSpace Independent Publishing Platform, 2014.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Towards verified systems. Amsterdam: Elsevier, 1994.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Towards Verified Systems. Elsevier, 1994. http://dx.doi.org/10.1016/c2009-0-09150-8.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

1927-, Robson Harry E., ed. Verified syntheses of zeolitic materials. 2a ed. Amsterdam: Elsevier, 2001.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

1961-, Hammer R., ed. Numerical toolbox for verified computing. Berlin: Springer-Verlag, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Robson, H. Verified Synthesis of Zeolitic Materials. Elsevier Science, 2001.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Rosen Verified: U. S. Government. Rosen Publishing Group, 2020.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Verified Syntheses of Zeolitic Materials. Elsevier, 2001. http://dx.doi.org/10.1016/b978-0-444-50703-7.x5094-7.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Rosen Verified: U. S. Government. Rosen Publishing Group, 2020.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

D, Guttman Joshua y Wand Mitchell, eds. VLISP: A verified implementation of scheme. Boston: Kluwer Academic, 1995.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Veriflex" para otros tipos de fuentes:
Artículos de revistas Tesis
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía