Готові списки джерел за темами / Formal methds / Книги

Книги з теми "Formal methds"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Formal methds.
Автор: Grafiati
Опубліковано: 4 червня 2021
Оновлено: 19 лютого 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 книг для дослідження на тему "Formal methds".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
11

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
12

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
13

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
14

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
15

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
16

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
17

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
18

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
19

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
20

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
21

Dean, C. Neville, and Raymond T. Boute, eds. Teaching Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b102075.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
22

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
23

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
24

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
25

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
26

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
27

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
28

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
29

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
30

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
31

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
32

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
33

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
34

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
35

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
36

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
37

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
38

Misra, Jayadev, Tobias Nipkow, and Emil Sekerinski, eds. FM 2006: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11813040.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
39

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
40

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
41

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
42

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
43

Araki, Keijiro, Stefania Gnesi, and Dino Mandrioli, eds. FME 2003: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13229.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
44

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
45

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
46

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
47

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
48

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
49

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
50

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити добірки на тему "Formal methds" для інших типів джерел:
Статті в журналах Дисертації
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії