Accedi

Bibliografie tematiche / Formal methds / Libri

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Formal methds.

Libri sul tema "Formal methds"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 19 febbraio 2022

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 libri per l'attività di ricerca sul tema "Formal methds".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi i libri di molte aree scientifiche e compila una bibliografia corretta.

1

Boulanger, Jean-Louis, a cura di. Formal Methods. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118561898.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Havelund, Klaus, Jan Peleska, Bill Roscoe e Erik de Vink, a cura di. Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-95582-7.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Nielson, Flemming, e Hanne Riis Nielson. Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05156-3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Araki, Keijiro. Formal methods: Proceedings. Berlin: Springer, 2003.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Brat, Guillaume, Neha Rungta e Arnaud Venet, a cura di. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38088-4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Derrick, John, Stefania Gnesi, Diego Latella e Helen Treharne, a cura di. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-30729-4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Havelund, Klaus, Gerard Holzmann e Rajeev Joshi, a cura di. NASA Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17524-9.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Polikarpova, Nadia, e Steve Schneider, a cura di. Integrated Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66845-1.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Leuschel, Michael, e Heike Wehrheim, a cura di. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00255-7.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Albert, Elvira, e Emil Sekerinski, a cura di. Integrated Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10181-1.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

11

Rayadurgam, Sanjai, e Oksana Tkachuk, a cura di. NASA Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40648-0.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

12

Monin, Jean-François, e Michael G. Hinchey, a cura di. Understanding Formal Methods. London: Springer London, 2003. http://dx.doi.org/10.1007/978-1-4471-0043-0.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

13

Romijn, Judi, Graeme Smith e Jaco van de Pol, a cura di. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11589976.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

14

Bobaru, Mihaela, Klaus Havelund, Gerard J. Holzmann e Rajeev Joshi, a cura di. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20398-5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

15

Badger, Julia M., e Kristin Yvonne Rozier, a cura di. NASA Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06200-6.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

16

Badger, Julia M., e Kristin Yvonne Rozier, a cura di. NASA Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-20652-9.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

17

Johnsen, Einar Broch, e Luigia Petre, a cura di. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38613-8.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

18

Gibbons, Jeremy, e José Nuno Oliveira, a cura di. Teaching Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04912-5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

19

Dutle, Aaron, César Muñoz e Anthony Narkawicz, a cura di. NASA Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-77935-5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

20

Barrett, Clark, Misty Davies e Temesghen Kahsai, a cura di. NASA Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-57288-8.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

21

Dean, C. Neville, e Raymond T. Boute, a cura di. Teaching Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b102075.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Boiten, Eerke A., John Derrick e Graeme Smith, a cura di. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b96106.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

23

Goodloe, Alwyn E., e Suzette Person, a cura di. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-28891-3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

24

Dongol, Brijesh, Luigia Petre e Graeme Smith, a cura di. Formal Methods Teaching. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32441-4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

25

Butler, Michael, Luigia Petre e Kaisa Sere, a cura di. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47884-1.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

26

Ábrahám, Erika, e Marieke Huisman, a cura di. Integrated Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33693-0.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

27

Dongol, Brijesh, e Elena Troubitsyna, a cura di. Integrated Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63461-2.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

28

Furia, Carlo A., e Kirsten Winter, a cura di. Integrated Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-98938-9.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

29

Lee, Ritchie, Susmit Jha, Anastasia Mavridou e Dimitra Giannakopoulou, a cura di. NASA Formal Methods. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-55754-6.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

30

Ahrendt, Wolfgang, e Silvia Lizeth Tapia Tarifa, a cura di. Integrated Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-34968-4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

31

Méry, Dominique, e Stephan Merz, a cura di. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16265-7.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

32

Grieskamp, Wolfgang, Thomas Santen e Bill Stoddart, a cura di. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-40911-4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

33

Davies, Jim, e Jeremy Gibbons, a cura di. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73210-5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

34

Dutle, Aaron, Mariano M. Moscato, Laura Titolo, César A. Muñoz e Ivan Perez, a cura di. NASA Formal Methods. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-76384-8.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

35

Austin, Stephen. Formal methods: A survey. Teddington: National Physical Laboratory, 1993.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

36

Cavalcanti, Ana, e Dennis R. Dams, a cura di. FM 2009: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-05089-3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

37

Eloy, Sara, David Leite Viana, Franklim Morais e Jorge Vieira Vaz, a cura di. Formal Methods in Architecture. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-57509-0.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

38

Misra, Jayadev, Tobias Nipkow e Emil Sekerinski, a cura di. FM 2006: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11813040.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

39

Jones, Cliff, Pekka Pihlajasaari e Jun Sun, a cura di. FM 2014: Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06410-9.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

40

Giannakopoulou, Dimitra, e Dominique Méry, a cura di. FM 2012: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32759-9.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

41

Butler, Michael, e Wolfram Schulte, a cura di. FM 2011: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21437-0.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

42

Hierons, Robert M., Jonathan P. Bowen e Mark Harman, a cura di. Formal Methods and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-78917-8.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

43

Araki, Keijiro, Stefania Gnesi e Dino Mandrioli, a cura di. FME 2003: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13229.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

44

Fitzgerald, John, Ian J. Hayes e Andrzej Tarlecki, a cura di. FM 2005: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b27882.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

45

Wing, Jeannette M., Jim Woodcock e Jim Davies, a cura di. FM’99 — Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48118-4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

46

Wing, Jeannette M., Jim Woodcock e Jim Davies, a cura di. FM’99 — Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48119-2.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

47

Ruggles, C. L. N., a cura di. Formal Methods in Standards. London: Springer London, 1990. http://dx.doi.org/10.1007/978-1-4471-3419-0.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

48

Bjørner, Nikolaj, e Frank de Boer, a cura di. FM 2015: Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-19249-9.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

49

Fitzgerald, John, Constance Heitmeyer, Stefania Gnesi e Anna Philippou, a cura di. FM 2016: Formal Methods. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48989-6.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

50

Cuellar, Jorge, Tom Maibaum e Kaisa Sere, a cura di. FM 2008: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-68237-0.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!