Zu "formal specification" wurden 206 Produkte gefunden

Produkte filtern

Nur Neuerscheinungen

Springer Berlin (141)
Springer International Publishing (17)
Springer London (5)
Springer Netherland (8)
Springer US (35)

Gebunden (25)
Kartoniert / Broschiert (180)
Kassette / Medienmix z.B. Audio und Buch (1)

Abdallah, Ali E. Ryan, Peter Schneider, Steve (1)
Abramsky, S. Maibaum, T.S.E. (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Schmitt, Peter H. Ulbrich, Mattias (1)
Ahrendt, Wolfgang Tapia Tarifa, Silvia Lizeth (1)
Aichernig, Bernhard K. Maibaum, Tom (1)
Alves-Foss, Jim (1)
Amyot, Daniel Williams, Alan W. (1)
Arbab, Farhad Talcott, Carolyn (1)
Arnold, Andre (1)
Astesiano, Egidio (1)
Astesiano, Egidio Kreowski, Hans-Jörg Krieg-Brückner, Bernd (1)
Ball, Thomas Rajamani, Sriram K. (1)
Bauer, Lujo Küsters, Ralf (1)
Berardi, Stefano Damiani, Ferruccio de Liguoro, Ugo (1)
Berger, Christian Mousavi, Mohammad Reza Wisniewski, Rafael (1)
Bernardo, Marco Corradini, Flavio (1)
Bernardo, Marco Hillston, Jane (1)
Bernardo, Marco Inverardi, Paola (1)
Bert, Didier Bowen, Jonathan P. Henson, Martin C. Robinson, Ken (1)
Bert, Didier Bowen, Jonathan P. King, Steve Waldén, Marina (1)
Bertran, Miquel Rus, Teodor (1)
Beyer, Dirk Huisman, Marieke (1)
Bicarregui, Juan C. (1)
Bidoit, Michel Kreowski, Hans-Jörg Lescanne, Pierre Orejas, Fernando Sannella, Donald (1)
Birtwistle, Graham Davis, Alan (1)
Blum, E.K. Paul, M. Takasu, S. (1)
Boer, Frank S. de Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul (1)
Bosnacki, Dragan Edelkamp, Stefan (1)
Bowen, J.P. Nicholls, J.E. (1)
Bowen, Jonathan P. Hinchey, Michael G. (1)
Bowen, Jonathan P. Hinchey, Michael G. Till, David (1)
Bowen, Jonathan P. Li, Qin Xu, Qiwen (1)
Bowen, Jonathan P. Liu, Zhiming Zhang, Zili (4)
Bowman, Howard Derrick, John (1)
Brewka, Gerhard Jantke, Klaus P. Schmitt, Peter H. (1)
Brim, Lubos Haverkort, Boudewijn Leucker, Martin Pol, Jaco van de (1)
Broy, Manfred Merz, Stephan Spies, Katharina (1)
Börger, Egon Gargantini, Angelo Riccobene, Elvinia (1)
Cavalcanti, Ana Dams, Dennis (1)
Caviness, Bob F. (1)
Cerioli, Maura Reggio, Gianna (1)
Chechik, Marsha Wirsing, Martin (1)
Cimatti, Alessandro Sirjani, Marjan (1)
Clote, Peter G. Schwichtenberg, Helmut (1)
Cofer, Darren Fantechi, Alessandro (1)
Corradini, Andrea Ehrig, Hartmut Kreowski, Hans-Jörg Rozenberg, Grzegorz (1)
Davies, Jim Gibbons, Jeremy (1)
Davies, Jim Schulte, Wolfram Barnett, Mike (1)
Dean, C. Neville Boute, Raymond T. (1)
Degano, Pierpaolo Viganò, Luca (1)
Deransart, Pierre Lorho, Bernard Maluszynski, Jan (1)
Diaz, J. Ramos, I. (1)
Dimitrakos, Theo Martinelli, Fabio (2)
Duan, Zhenhua Liu, Shaoying Tian, Cong Nagoya, Fumiko (1)
Dubois, Jacques-Emile Gershon, Nahum (1)
Ehrig, Hartmut Damm, Werner Desel, Jörg Große-Rhode, Martin Reif, Wolfgang Schnieder, Eckehard Westkämper, Engelbert (1)
Eriksson, Lars-Henrik Lindsay, Peter A. (1)
Esik, Zoltan (1)
Evans, Andy Kent, Stuart Selic, Bran (1)
Fisher, Michael Sadri, Fariba Thielscher, Michael (1)
Fitzgerald, John Hayes, Ian J. (1)
Fitzgerald, John Jones, Cliff B. Lucas, Peter (1)
Frakes, William B. (1)
Frappier, Marc Habrias, Henri (1)
Futatsugi, Kokichi Mizoguchi, Fumio Yonezaki, Naoki (1)
Gabbar, Hossam A. (2)
Ganzinger, Harald McAllester, David Voronkov, Andrei (1)
Garavel, Hubert Hatcliff, John (1)
Gaudel, Marie-Claude Jouannaud, Jean-Pierre (1)
Geuvers, Herman Wiedijk, Freek (1)
Giorgini, Paolo Müller, Jörg Odell, James (1)
Godefroid, Patrick (1)
Goguen, Joseph A. Malcolm, Grant (2)
Gorrieri, Roberto Wehrheim, Heike (1)
Gotzhein, Reinhard Reed, Rick (1)
Graf, Susanne Mounier, Laurent (1)
Gries, David de Roever, Willem-Paul (2)
Grumberg, Orna Veith, Helmut (1)
Grundy, Jim Newey, Malcolm (1)
Hameurlain, Abdelkader Küng, Josef Wagner, Roland Schewe, Klaus-Dieter Bosa, Karoly (1)
Harper, David J. Norrie, Moira C. (1)
Hinchey, Michael G. Rash, James L. Truszkowski, Walter F. Rouff, Christopher Gordon-Spears, Diana (1)
Hirschfeld, Rafael (1)
Hu, Alan J. Martin, Andrew K. (1)
Hu, Zhenjiang (1)
Hunt, Warren A. Jr. Johnson, Steven D. (1)
Jacquart, Rene (2)
Johnson, Michael Vene, Varmo (1)
Jones, Cliff B. Shaw, Roger C. Denvir, Tim (1)
Julliand, Jacques Kouchnarenko, Olga (1)
Katsaros, Panagiotis Nenzi, Laura (1)
Kordon, Fabrice Lemoine, Michel (2)
Kowalewski, Stefan Roveri, Marco (1)
Paton, Norman W. (2)
Ramesh, S. Sampath, P. (2)
Rettberg, Achim Zanella, Mauro C. Rammig, Franz J. (2)
Terashima, Nobuyoshi Altman, Edward (2)
van Tilborg, André M. Koob, Gary M. (2)
Vytopil, Jan (2)
Wang, Farn (2)

Bidoit, Michel Mosses, Peter D. (1)
Bowen, Jonathan P. Hinchey, Michael G. (1)
Brookes, S.D. Donner, M. Driscoll, J. Mauldin, M. Pausch, R. Scherlis, W.L. Shaw, Mary Spector, A.Z. (1)
Chen, Xiaoming Wang, Yu Yang, Huazhong (2)
Clavel, Manuel Durán, Francisco Eker, Steven Lincoln, Patrick Martí-Oliet, Narciso Meseguer, José Talcott, Carolyn (1)
Craig, Iain D. (2)
Dasgupta, Pallab (2)
Dijkstra, Edsger W. Scholten, Carel S. (1)
Feijs, Loe M.G. Jonkers, Hans B.M. Middelburg, Cornelis A. (1)
Fensel, Dieter (1)
Gallaire, Hervé Minker, Jack Nicolas, Jean Marie (1)
Graham, Brian T. (2)
Große-Rhode, Martin (2)
Guttag, John V. Horning, James J. (1)
Hooman, Jozef (1)
Horebeek, Ivo Van Lewi, Johan (1)
Hunt, Warren A. Jr. (1)
Hußmann, Heinrich (1)
Jacquet, Jean-Marie (1)
Janicki, Ryszard Lauer, Peter E. (1)
Jones, Robert B. (2)
Lano, Kevin (2)
Müller, Peter (1)
Nissanke, Nimal (1)
Pastor, Oscar Molina, Juan Carlos (2)
Peled, Doron A. (2)
Smith, Graeme (2)
van Ditmarsch, Hans van der Hoek, Wiebe Kooi, Barteld (2)
Wallace, C.S. (2)
Zhou, Chaochen Hansen, Michael R. (2)