Zum Hauptinhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Herzlich Willkommen!
Bitte wählen Sie Ihr Versandland aus:
Schweiz
Liechtenstein
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Hauptverlag
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zur Kategorie Bücher
Belletristik
Kinder- & Jugendbuch
Kochen
Natur & Garten
Gestalten & Textiles
Architektur & Design
Bücher-Abos
Bücher-Gutscheine
Restexemplare Haupt Verlag
Haupt Verlag
Neuerscheinungen
Natur & Garten
Geschichte & Kultur
Gestalten & Design
Fachbuch
Zur Kategorie Geschenke
Bücher-Abos
Kalender
Schreibwaren
Spiele
Puzzles
Kleinigkeiten
Zur Kategorie Kurse & Events
Kurse Atelier 14B
Events
Haupt auswärts
Zur Kategorie Service
Erweiterte Suche
Bestellservice
Geschäftskunden
Bibliotheken
Atelier 14B mieten
Kontakt
Zur Kategorie Über uns
Unser Laden
Team
Firmenportrait
Menü schließen
Kategorien
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
179 Treffer für "software and hardware verification"
Produkte
179
Profile
4
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Preis
Minimal
Fr
–
Maximal
Fr
Verlag
Springer Berlin (32)
Springer Berlin Heidelberg (4)
Springer International Publishing (103)
Springer London (2)
Springer Nature EN (25)
Springer Netherland (2)
Springer Singapore (3)
Springer US (22)
Springer Us (2)
tredition (1)
Produktart
Gebunden (23)
Kartoniert / Broschiert (173)
Herausgeber
Abraham, Erika Havelund, Klaus (1)
Ait-Ameur, Yamine Qin, Shengchao (1)
Akshay, S. Niemetz, Aina Sankaranarayanan, Sriram (2)
André, Étienne Sun, Jun (2)
Arbel, Eli Bloem, Roderick (1)
Bailey, Brian Martin, Grant Anderson, Thomas (2)
Barner, Sharon Harris, Ian Kroening, Daniel Raz, Orna (1)
Barner, Sharon Raz, Orna Kroening, Daniel Harris, Ian (1)
Bartocci, Ezio Cleaveland, Rance Grosu, Radu Sokolsky, Oleg (1)
Bassiliades, Nick Ermolayev, Vadim Fill, Hans-Georg Yakovyna, Vitaliy Mayr, Heinrich C. Nikitchenko, Mykola Zholtkevych, Grygoriy Spivakovsky, Aleksander (1)
Ben Hedia, Belgacem Maleh, Yassine Krichen, Moez (1)
Berger, Christian Mousavi, Mohammad Reza (1)
Berger, Christian Mousavi, Mohammad Reza Wisniewski, Rafael (1)
Bergé, Jean-Michel Levia, Oz Rouillard, Jacques (2)
Bergé, Jean-Michel Rouillard, Jacques Levia, Oz (2)
Bernardo, Marco Cimatti, Alessandro (1)
Bernardo, Marco Corradini, Flavio (1)
Bertacco, Valeria Legay, Axel (1)
Biere, Armin Bloem, Roderick (1)
Biere, Armin Nahir, Amir Vos, Tanja (1)
Biere, Armin Parker, David (2)
Biere, Armin Vos, Tanja Nahir, Amir (1)
Bin, Eyal Ziv, Avi Ur, Shmuel (2)
Bloem, Roderick Arbel, Eli (1)
Bloem, Roderick Dimitrova, Rayna Fan, Chuchu Sharygina, Natasha (1)
Bogomolov, Sergiy Martel, Matthieu Prabhakar, Pavithra (1)
Bogomolov, Sergiy Parker, David (1)
Bondavalli, Andrea Ceccarelli, Andrea Ortmeier, Frank (1)
Bonfanti, Silvia Gargantini, Angelo Salvaneschi, Paolo (1)
Bouajjani, Ahmed Monniaux, David (1)
Bowen, Jonathan P. Dunne, Steve Galloway, Andy King, Steve (1)
Broy, Manfred Jonsson, Bengt Katoen, Joost-Pieter Leucker, Martin Pretschner, Alexander (1)
Bruel, Jean-Michel Capozucca, Alfredo Mazzara, Manuel Meyer, Bertrand Naumchev, Alexandr Sadovykh, Andrey (1)
Budkowski, Stan Cavalli, Ana Najm, Elie (2)
C. Nogueira, Sidney Teodorov, Ciprian (1)
Calinescu, Radu Pasareanu, Corina S. (1)
Campos, Javier Haverkort, Boudewijn R. (1)
Ceccarelli, Andrea Trapp, Mario Bondavalli, Andrea Bitsch, Friedemann (1)
Cerone, Antonio Roggenbach, Markus (1)
Chamberlain, Roger Edin Grimheden, Martin Taha, Walid (1)
Chamberlain, Roger Taha, Walid Törngren, Martin (1)
Chechik, Marsha Raskin, Jean-François (1)
Chockler, Hana Hu, Alan J. (1)
Choren, Ricardo Garcia, Alessandro Lucena, Carlos Romanovsky, Alexander (1)
Cimatti, Alessandro Sirjani, Marjan (1)
Claesen, Luc Sanz-Pascual, Maria-Teresa Reis, Ricardo Sarmiento-Reyes, Arturo (4)
Clark, David Menendez, Hector Cavalli, Ana Rosa (1)
Collart-Dutilleul, Simon Haxthausen, Anne E. Lecomte, Thierry (1)
Dal Cin, Mario Kaâniche, Mohamed Pataricza, András (1)
Daniel, Peter (1)
Dastani, Mehdi Sirjani, Marjan (1)
Delgado Kloos, Carlos Cerny, Eduard (2)
Dignum, Frank (1)
Dima, Catalin Shirmohammadi, Mahsa (1)
Dong, Wei Talpin, Jean-Pierre (1)
Dongol, Brijesh Troubitsyna, Elena (1)
Drechsler, Rolf (2)
Echihabi, Karima Meyer, Roland (1)
Ecker, Wolfgang Müller, Wolfgang Dömer, Rainer (2)
Eder, Kerstin Louren?o, João Shehory, Onn (1)
Eder, Kerstin Shehory, Onn Louren¿o, João (1)
Feng, Lu Fisman, Dana (1)
Finkbeiner, Bernd Kovács, Laura (3)
Finkbeiner, Bernd Mariani, Leonardo (1)
Finkbeiner, Bernd Wies, Thomas (1)
Fisman, Dana Rosu, Grigore (2)
Gabbrielli, Maurizio (1)
Gallina, Barbara Skavhaug, Amund Bitsch, Friedemann (1)
Geist, Daniel Tronci, Enrico (2)
Gibbons, Jeremy Miller, Dale (1)
Graf, Susanne Zhang, Wenhui (2)
Groote, Jan Friso Larsen, Kim Guldstrand (1)
Gurfinkel, Arie Heule, Marjin (3)
Götz, Marcelo Schirner, Gunar Wehrmeister, Marco Aurélio Al Faruque, Mohammad Abdullah Rettberg, Achim (2)
Haeberer, Armando M. (1)
Hanus, Michael Igarashi, Atsushi (1)
Hasan, Osman Mallet, Frédéric (1)
Hermanns, Holger Segala, Roberto (1)
Hlinený, Petr Dvorák, Zdenek Jaroš, Jirí Kofron, Jan Korenek, Jan Matula, Petr Pala, Karel (1)
Hou, Zhe Ganesh, Vijay (1)
Hu, Alan J. Chockler, Hana (1)
Inan, M. Kemal Kurshan, Robert P. (1)
Jansen, Nils Stoelinga, Mariëlle van den Bos, Petra (1)
Jorge, Joaquim Jardim Nunes, Nuno Falcao e Cunha, Joao (1)
Kersken, Manfred Saglietti, Francesca (1)
Khendek, Ferhat Dssouli, Rachida (1)
Kofron, Jan Vojnar, Tomáš (1)
Kovács, Laura Meinke, Karl (1)
Krimmer, Robert Volkamer, Melanie Duenas-Cid, David Kulyk, Oksana Rønne, Peter Solvak, Mihkel Germann, Micha (1)
Krivine, Jean Stefani, Jean-Bernard (1)
Kroening, Daniel Pasareanu, Corina S. (2)
Laarman, Alfons Sokolova, Ana (1)
Margaria, Tiziana Steffen, Bernhard (3)
Pfahl, Dietmar Gonzalez Huerta, Javier Klünder, Jil Anwar, Hina (2)
Piterman, Nir (2)
Seong, Poong-Hyun (2)
Strichman, Ofer Tzoref-Brill, Rachel (2)
Tibouchi, Mehdi Wang, XiaoFeng (2)
Tonetta, Stefano Schoitsch, Erwin Bitsch, Friedemann (2)
Yahav, Eran (2)
Autor
Augustin, Larry M. Luckham, David C. Gennart, Benoit A. Youm Huh Stanculescu, A. (2)
Bolc, Leonard Borowik, Piotr (2)
Fisher, Marcus S. (1)
Girault, Claude Valk, Rüdiger (3)
Gutmann, Peter (2)
Hill, D.D. Coelho, D.R. (2)
Khondkar, Progyna (2)
Koomen, C.J. (2)
Meyer-Baese, Uwe (1)
Mohamed, Khaled Salah (1)
Myklebust, Thor Stålhane, Tor Vatn, Dorthea Mathilde Kristin (1)
Piziali, Andrew (2)
Rashinkar, Prakash Paterson, Peter Singh, Leena (2)
Shalini (1)
Staunstrup, Jørgen Wolf, Wayne (2)
Veröffentlicht
1983 (1)
1986 (1)
1990 (1)
1991 (1)
1992 (1)
1996 (2)
1997 (1)
1998 (1)
2000 (1)
2001 (1)
2002 (1)
2003 (1)
2004 (1)
2005 (1)
2006 (1)
2007 (2)
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2012 (1)
2013 (1)
2014 (1)
2015 (1)
2016 (1)
2017 (1)
2020 (2)
2022 (2)
2024 (3)
2025 (3)
Sprache
Englisch (196)
Hardware and Software, Verification and Testing
53,50 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
53,50 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
51,35 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
53,50 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
53,50 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
53,50 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
53,50 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
53,50 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
49,20 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
53,50 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
49,20 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
53,50 CHF*
In den Warenkorb
Hardware/Software Co-Design and Co-Verification
214,00 CHF*
In den Warenkorb
Hardware/Software Co-Design and Co-Verification
214,00 CHF*
In den Warenkorb
Formal Methods for Hardware Verification
53,50 CHF*
In den Warenkorb
Hardware Description Languages and their Applications
160,50 CHF*
In den Warenkorb
Hardware Description Languages and their Applications
160,50 CHF*
In den Warenkorb
Software Verification
58,85 CHF*
In den Warenkorb
Hardware/Software Co-Design
160,50 CHF*
In den Warenkorb
Hardware/Software Co-Design
160,50 CHF*
In den Warenkorb
Hardware-dependent Software
107,00 CHF*
In den Warenkorb
Hardware-dependent Software
107,00 CHF*
In den Warenkorb
Functional Verification Coverage Measurement and Analysis
107,00 CHF*
In den Warenkorb
Functional Verification Coverage Measurement and Analysis
107,00 CHF*
In den Warenkorb
1
2
3
4
5
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
