Zu "formal method" wurden 269 Produkte gefunden

Filter

Nur Neuerscheinungen

FAU University Press (1)
Springer Berlin (158)
Springer International Publishing (2)
Springer London (8)
Springer Netherland (21)
Springer Singapore (1)
Springer US (75)
Springer Wien (3)

Gebunden (58)
Kartoniert / Broschiert (210)
Kassette / Medienmix z.B. Audio und Buch (1)

Aalst, Wil van der Best, Eike (1)
Abdallah, Ali E. Jones, Cliff B. Sanders, Jeff W. (1)
Abramsky, S. Maibaum, T.S.E. (1)
Abrial, Jean-Raymond Börger, Egon Langmaack, Hans (1)
Aldini, Alessandro Gorrieri, Roberto Martinelli, Fabio (1)
Alur, Rajeev (1)
Alur, Rajeev Pappas, George (1)
Arbab, Farhad Sirjani, Marjan (1)
Arun-Kumar, S. Garg, Naveen (1)
Arvind, V. Prasad, Sanjiva (1)
Astesiano, Egidio (1)
Attali, Isabelle Jensen, Thomas (2)
Bakker, J.W.de Roever, W.-P.de Rozenberg, G. (1)
Barkaoui, Kamel Cavalcanti, Ana Cerone, Antonio (1)
Barthe, Gilles (1)
Barthe, Gilles Burdy, Lilian Huisman, Marieke Lanet, Jean-Louis Muntean, Traian (1)
Berghammer, Rudolf Jaoua, Ali Möller, Bernhard (1)
Berghammer, Rudolf Lakhnech, Yassine (1)
Berghammer, Rudolf Möller, Bernhard Struth, Georg (1)
Bernardo, Marco Cimatti, Alessandro (1)
Bernardo, Marco Corradini, Flavio (1)
Bernardo, Marco Hillston, Jane (1)
Bernardo, Marco Padovani, Luca Zavattaro, Gianluigi (1)
Bertran, Miquel Rus, Teodor (1)
Bi, Yuanguo Chen, Gang Deng, Qingxu Wang, Yi (1)
Bibel, Wolfgang Schmitt, P.H. (2)
Bjørner, Dines Broy, Manfred Pottosin, Igor V. (1)
Bjørner, Dines Hoare, C.A.R. Langmaack, Hans (1)
Boiten, Eerke Derrick, John Smith, Graeme (1)
Bolognesi, Tommaso Latella, Diego (2)
Bowen, J.P. Nicholls, J.E. (1)
Bowen, Jonathan P. Hinchey, Michael G. (1)
Bravetti, Mario Kloul, Leila Zavattaro, Gianluigi (1)
Bravetti, Mario Núñez, Manuel Zavattaro, Gianluigi (1)
Broy, Manfred Gruenbauer, Johannes Harel, David Hoare, Tony (2)
Bruni, Roberto Wolf, Karsten (1)
Burn, Geoffrey Gay, Simon Ryan, Mark (1)
Butler, Michael Jones, Cliff B. Romanovsky, Alexander Troubitsyna, Elena (1)
Butler, Michael Petre, Luigia Sere, Kaisa (1)
Butler, Michael Schewe, Klaus-Dieter Mashkoor, Atif Biro, Miklos (1)
Cai, Jin-Yi Cooper, Barry S. Li, Angsheng (1)
Calder, Muffy Gilmore, Stephen (1)
Cassez, Franck Jard, Claude Rozoy, Brigitte Ryan, Mark D. (1)
Catthoor, Francky Svensson, Lars-Gunnar (2)
Cavalcanti, Ana Sampaio, Augusto Woodcock, Jim (1)
Chountas, Panagiotis Petrounias, Ilias (2)
Colburn, Timothy T.R. Fetzer, J.H. Rankin, R.L. (2)
Craigen, Dan (1)
Cristian, Flaviu LeLann, Gerard Lunt, Teresa (1)
Cuellar, Jorge Maibaum, Tom (1)
Cugini, Umberto Wozny, Michael (2)
Damm, Werner Hermanns, Holger (1)
Dams, Dennis Gerth, Robert Leue, Stefan Massinek, Mieke (1)
Daniel, Peter (1)
Davies, Jim Gibbons, Jeremy (1)
de Boer, Frank S. Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul (3)
Dean, C. Neville Boute, Raymond T. (1)
Delgado Kloos, Carlos Breuer, P. (2)
Dershowitz, Nachum Voronkov, Andrei (1)
Didier, Bert (1)
Diks, Krzystof Rytter, Wojciech (1)
Doherty, Gavin Blandford, Ann (1)
Dosch, Walter Lee, Roger Y. Wu, Chisu (1)
Dumas, Marlon Heckel, Reiko (1)
Ehrenberger, Wolfgang (1)
Eliassen, Frank Montresor, Alberto (1)
Eriksson, Lars-Henrik Lindsay, Peter A. (1)
Etiemble, Daniel Syre, Jean-Claude (1)
Eymann, Torsten Klügl, Franziska Lamersdorf, Winfried Klusch, Matthias Huhns, Michael N. (1)
Felici, Massimo Kanoun, Karama Pasquini, Alberto (1)
Fiadeiro, José Luiz Mosses, Peter Orejas, Fernando (1)
Fiadeiro, José Luiz Schobbens, Pierre-Yves (1)
Finance, Jean-Pierre (1)
Fitzgerald, John Hayes, Ian J. (1)
Gabbar, Hossam A. (2)
Grimm, Christoph (2)
Gudes, Ehud Shenoi, Sujeet (2)
Gupta, Rajesh Le Guernic, Paul Shukla, Sandeep Kumar Talpin, Jean-Pierre (2)
Guttman, Joshua D. Wand, Mitchell (2)
Hantao Zhang (2)
Jacob, Robert J.K. Limbourg, Quentin Vanderdonckt, Jean (2)
Jacobs, Bart Rensink, Arend (2)
Jacquart, Rene (2)
Kleinjohann, Bernd Kim, K.H. (Kane) Kleinjohann, Lisa Rettberg, Achim (2)
Kordon, Fabrice Lemoine, Michel (2)
Kurshan, Robert (2)
Lee, Roger (2)
Lee, Roger Ishii, Naohiro (2)
Marwedel, Peter Goossens, Gert (2)
Michel, Petra Lauther, Ulrich Duzy, Peter (2)
Palanque, Philippe Johnson, Chris (2)
Ramesh, S. Sampath, P. (2)
Redmill, Felix Anderson, Tom (3)
Riitahuhta, Asko (2)
Riitahuhta, Asko Sudweeks, Fay (2)
Taylor, Brian J. (2)
Vanderveken, Daniel (2)
Vermesan, Anca Coenen, Frans (2)
Vytopil, Jan (3)
Winter, Victor L. Bhattacharya, Sourav (2)

Andrews, Derek J. (1)
Bella, Giampaolo (2)
Bertot, Yves Castéran, Pierre (2)
Bessonet, Guy (2)
Bhushan, Navneet Rai, Kanwal (2)
Bjørner, Dines (2)
Bradley, Aaron R. Manna, Zohar (2)
Chang, Jui-Ming Pedram, Massoud (2)
Dasgupta, Pallab (2)
Fitzgerald, John Larsen, Peter Gorm Mukherjee, Paul Plat, Nico Verhoef, Marcel (2)
Gergely, Tamas Ury, Laszlo (2)
Girault, Claude Valk, Rüdiger (2)
Graham, Brian T. (2)
Hsieh, Harry Balarin, Felice Sangiovanni-Vincentelli, Alberto L. (2)
Jones, Robert B. (2)
Juan, Eric Y.T. Tsai, Jeffrey J.P. (2)
Kirli, Zeliha Dilsun (2)
Mueller, Silvia M. Paul, Wolfgang J. (2)
O'Regan, Gerard (2)
Ohlebusch, Enno (2)
Paterno, Fabio (1)
Peled, Doron A. (2)
Poernomo, Iman Crossley, John N. Wirsing, Martin (2)
Sagdeo, Vivek (2)
Stirling, Colin (2)
Tabbara, Bassam Tabbara, Abdallah Sangiovanni-Vincentelli, Alberto L. (2)
Tang, Yiheng (1)
Thompson, Haydn A. (1)
Unger, Claus Bass, Leonard J. (1)
Yuan, Jun Pixley, Carl Aziz, Adnan (2)