Zu "formal verification" wurden 263 Produkte gefunden

Produkte filtern

Nur Neuerscheinungen

BoD – Books on Demand – Frankreich (1)
Springer Berlin (154)
Springer International Publishing (57)
Springer London (3)
Springer Netherland (12)
Springer US (34)
Springer Wien (1)
Vieweg & Teubner (1)

Gebunden (29)
Kartoniert / Broschiert (232)
Kassette / Medienmix z.B. Audio und Buch (2)

Aagaard, Mark Harrison, John (1)
Abadi, Martín Kremer, Steve (1)
Abdallah, Ali E. Ryan, Peter Schneider, Steve (1)
Aceto, Luca Henzinger, Monika Sgall, Jiri (1)
Aceto, Luca Ingólfsdóttir, Anna (1)
Adorni, Giovanni Cagnoni, Stefano Gori, Marco Maratea, Marco (1)
Agha, Gul Danvy, Olivier Meseguer, José (1)
Aichernig, Bernhard K. Maibaum, Tom (1)
Altenkirch, Thorsten McBride, Conor (1)
Alur, Rajeev Peled, Doron A. (1)
Amadio, Roberto Lugiez, Denis (1)
Araki, Keijiro Gnesi, Stefania Mandrioli, Dion (1)
Ashenden, Peter J. Mermet, Jean Seepold, Ralf (2)
Attali, Isabelle Jensen, Thomas (1)
Baader, Franz (2)
Baader, Franz Voronkov, Andrei (1)
Baaz, Matthias Voronkov, Andrei (1)
Badger, Julia M. Rozier, Kristin Yvonne (1)
Bakker, Jaco W. de Roever, Willem-Paul de Rozenberg, Grzegorz (1)
Baldoni, Matteo Dennis, Louise Mascardi, Viviana Vasconcelos, Wamberto (1)
Ball, Thomas Rajamani, Sriram K. (1)
Banda, Maria Garcia Pontelli, Enrico (1)
Barbosa, Haniel Zohar, Yoni (1)
Barrett, Clark Davies, Misty Kahsai, Temesghen (1)
Barthe, Gilles Burdy, Lilian Huisman, Marieke Lanet, Jean-Louis Muntean, Traian (1)
Barthe, Gilles Gregoire, Benjamin Huisman, Marieke Lanet, Jean-Luis (1)
Basin, David Mitchell, John C. (1)
Beckert, Bernhard Marché, Claude (1)
Ben Hedia, Belgacem Chen, Yu-Fang Liu, Gaiyun Yu, Zhenhua (1)
Berghammer, Rudolf Lakhnech, Yassine (1)
Berghofer, Stefan Nipkow, Tobias Urban, Christian Wenzel, Makarius (1)
Bernardo, Marco Inverardi, Paola (1)
Bert, Didier Bowen, Jonathan P. Henson, Martin C. Robinson, Ken (1)
Bertacco, Valeria Legay, Axel (1)
Bertran, Miquel Rus, Teodor (1)
Beyersdorff, Olaf Wintersteiger, Christoph M. (1)
Birtwistle, Graham Subrahmanyam, P.A. (1)
Bloem, Roderick Arbel, Eli (1)
Boer, Frank S. de Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul (1)
Boer, Frank S.de Bonsangue, Marcello Graf, Susanne de Roever, Willem-Paul (1)
Bosnacki, Dragan Edelkamp, Stefan (1)
Bosnacki, Dragan Leue, Stefan (1)
Boulton, Richard J. Jackson, Paul B. (1)
Bowen, Jonathan P. Liu, Zhiming Zhang, Zili (4)
Bowles, Juliana Broccia, Giovanna Nanni, Mirco (1)
Brat, Guillaume Rungta, Neha Venet, Arnaud (1)
Braz, José Araújo, Helder Vieira, Alves Encarnação, Bruno (2)
Brijder, Robert Qian, Lulu (1)
Brim, Lubos Haverkort, Boudewijn Leucker, Martin Pol, Jaco van de (1)
Brinksma, Ed Larsen, Kim G. (1)
Broy, Manfred Gruenbauer, Johannes Harel, David Hoare, Tony (2)
Brugali, Davide Broenink, Jan Kroeger, Torsten MacDonald, Bruce (1)
Butler, Michael Hinchey, Michael G. Larrondo-Petrie, Maria M. (1)
Butler, Michael Schulte, Wolfram (1)
Börger, Egon Gargantini, Angelo Riccobene, Elvinia (1)
Caires, Luís Vasconcelos, Vasco T. (1)
Calmet, Jacques Plaza, Jan (1)
Caltais, Georgiana Schilling, Christian (1)
Carreno, Victor A. Munoz, Cesar A. Tahar, Sofiene (1)
Cassez, Franck Jard, Claude (1)
Cassez, Franck Raskin, Jean-Francois (1)
Chakraborty, Supratik Navas, Jorge A. (1)
Cialdea Mayer, Marta Pirri, Fiora (1)
Cimatti, Alessandro Titolo, Laura (1)
Clarke, Edmund M. Kurshan, Robert P. (1)
Clote, Peter G. Schwichtenberg, Helmut (1)
Colburn, Timothy T.R. Fetzer, J.H. Rankin, R.L. (2)
Colom, Jose-Manuel Koutny, Maciej (1)
Conejo, Ricardo Urretavizcaya, Maite Pérez-de-la-Cruz, José-Luis (1)
Cousot, Radhia (1)
Cremers, Cas Lehmann, Anja (1)
Cuellar, Jorge (1)
D'Souza, Deepak Lal, Akash Larsen, Kim Guldstrand (1)
Dahl, Verónica Niemelä, Ilkka (1)
Damm, Werner Olderog, Ernst-Rüdiger (1)
Dams, Dennis Gerth, Robert Leue, Stefan Massinek, Mieke (1)
De Nicola, Rocco Kühn, Eva (1)
Desel, Jörg Reisig, Wolfgang Rozenberg, Grzegorz (1)
Drechsler, Rolf (2)
Duan, Zhenhua Liu, Shaoying Tian, Cong Nagoya, Fumiko (1)
Dumas, Marlon Heckel, Reiko (1)
Dutle, Aaron Humphrey, Laura Titolo, Laura (1)
Dutle, Aaron Muñoz, César Narkawicz, Anthony (1)
Ehrig, Hartmut Damm, Werner Desel, Jörg Große-Rhode, Martin Reif, Wolfgang Schnieder, Eckehard Westkämper, Engelbert (1)
Filipe, Joaquim Maciaszek, Leszek A. (1)
Filliatre, Jean-Christophe Paulin-Mohring, Christine Werner, Benjamin (1)
Finkbeiner, Bernd Kovács, Laura (3)
Finkbeiner, Bernd Pu, Geguang Zhang, Lijun (1)
Fitzgerald, John Hayes, Ian J. (1)
Fitzgerald, John Jones, Cliff B. Lucas, Peter (1)
Gabbrielli, Maurizio Gupta, Gopal (1)
Garcia-Alfaro, Joaquin Lafourcade, Pascal (1)
Gaudin, Emmanuel Najm, Élie Reed, Rick (1)
Gurfinkel, Arie Heule, Marijn (3)
Margaria, Tiziana Steffen, Bernhard (2)
Mermet, Jean (4)
Rettberg, Achim Zanella, Mauro C. Amann, Michael Keckeisen, Michael Rammig, Franz J. (2)
Rouff, Christopher (2)
Schirner, Gunar Götz, Marcelo Rettberg, Achim Zanella, Mauro C. Rammig, Franz J. (2)
Steffen, Bernhard (2)

Bening, Lionel Foster, Harry D. (3)
Bergeron, Janick Cerny, Eduard Hunter, Alan Nightingale, Andy (2)
Bertacco, Valeria (2)
Chang, Kai-hui Markov, Igor L. Bertacco, Valeria (2)
Clavel, Manuel Durán, Francisco Eker, Steven Lincoln, Patrick Martí-Oliet, Narciso Meseguer, José Talcott, Carolyn (1)
Dasgupta, Pallab (2)
Drechsler, Rolf (2)
Fey, Görschwin Drechsler, Rolf (2)
Fokkink, Wan (2)
Hachtel, Gary D. Somenzi, Fabio (2)
Herde, Christian (1)
Hsieh, Harry Balarin, Felice Sangiovanni-Vincentelli, Alberto L. (2)
Jones, Robert B. (2)
Juan, Eric Y.T. Tsai, Jeffrey J.P. (2)
Kobeissi, Nadim (1)
Kunz, Wolfgang Stoffel, Dominik (2)
Radecka, Katarzyna Zilic, Zeljko (2)
Russinoff, David M. (3)
Staunstrup, Jørgen (2)
Stirling, Colin (2)
Walter, Marcel Wille, Robert Sill Torres, Frank Drechsler, Rolf (2)