Log in

Relevant bibliographies by topics / Veriflex / Books

To see the other types of publications on this topic, follow the link: Veriflex.

Books on the topic 'Veriflex'

Author: Grafiati

Published: 4 June 2021

Last updated: 19 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Veriflex.'

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.

1

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Meyer, Bertrand, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Shankar, Natarajan, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Leavens, Gary T., Peter O’Hearn, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Cohen, Ernie, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Joshi, Rajeev, Peter Müller, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Kulisch, Ulrich, Rolf Hammer, Matthias Hocks, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Giannakopoulou, Dimitra, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Paskevich, Andrei, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Blazy, Sandrine, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Kulisch, Ulrich, Rolf Hammer, Dietmar Ratz, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Chakraborty, Supratik, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Piskac, Ruzica, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Gurfinkel, Arie, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

18

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

20

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

21

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

22

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

24

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

26

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

28

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

29

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

32

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

33

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

34

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

35

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

36

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

37

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

38

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

41

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

42

Towards verified systems. Amsterdam: Elsevier, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

43

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

45

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

46

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

47

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

48

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

50

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!