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
Deutschland
Österreich
Vereinigtes Königreich
Griechenland
Irland
Island
Italien
Japan
Kanada
Luxemburg
Namibia
Niederlande
Norwegen
Portugal
Schweden
Spanien
Vereinigte Staaten von Amerika
Arabische Emirate
Polen
Ungarn
Türkei
Tschechische Republik
Slowakei
Rumänien
Brasilien
Israel
Australien
Belgien
Dänemark
Finnland
Frankreich
Bulgarien
Estland
Kroatien
Lettland
Litauen
Malta
Slowenien
Zypern
Afghanistan
Åland
Albanien
Algerien
Amerikanisch-Samoa
Andorra
Angola
Anguilla
Antarktika
Antigua und Barbuda
Argentinien
Armenien
Aruba
Aserbaidschan
Bahamas
Bahrain
Bangladesch
Barbados
Weißrussland
Belize
Benin
Bermuda
Bhutan
Bolivien
Bonaire, Sint Eustatius und Saba
Bosnien und Herzegowina
Botswana
Bouvetinsel
Britisches Territorium im Indischen Ozean
Kleinere Inselbesitzungen der Vereinigten Staaten
Britische Jungferninseln
Amerikanische Jungferninseln
Brunei
Burkina Faso
Burundi
Kambodscha
Kamerun
Kap Verde
Kaimaninseln
Zentralafrikanische Republik
Tschad
Chile
China
Weihnachtsinsel
Kokosinseln
Kolumbien
Union der Komoren
Kongo
Kongo (Dem. Rep.)
Cookinseln
Costa Rica
Kuba
Curaçao
Dschibuti
Dominica
Dominikanische Republik
Ecuador
Ägypten
El Salvador
Äquatorial-Guinea
Eritrea
Äthiopien
Falklandinseln
Färöer-Inseln
Fidschi
Französisch Guyana
Französisch-Polynesien
Französische Süd- und Antarktisgebiete
Gabun
Gambia
Georgien
Ghana
Gibraltar
Grönland
Grenada
Guadeloupe
Guam
Guatemala
Guernsey
Guinea
Guinea-Bissau
Guyana
Haiti
Heard und die McDonaldinseln
Staat Vatikanstadt
Honduras
Hong Kong
Indien
Indonesien
Elfenbeinküste
Iran
Irak
Insel Man
Jamaika
Jersey
Jordanien
Kasachstan
Kenia
Kiribati
Kuwait
Kirgisistan
Laos
Libanon
Lesotho
Liberia
Libyen
Macao
Mazedonien
Madagaskar
Malawi
Malaysia
Malediven
Mali
Marshallinseln
Martinique
Mauretanien
Mauritius
Mayotte
Mexiko
Mikronesien
Moldawie
Monaco
Mongolei
Montenegro
Montserrat
Marokko
Mosambik
Myanmar
Nauru
Népal
Neukaledonien
Neuseeland
Nicaragua
Niger
Nigeria
Niue
Norfolkinsel
Nordkorea
Nördliche Marianen
Oman
Pakistan
Palau
Palästina
Panama
Papua-Neuguinea
Paraguay
Peru
Philippinen
Pitcairn
Puerto Rico
Katar
Republik Kosovo
Réunion
Russland
Ruanda
Saint-Barthélemy
Sankt Helena
St. Kitts und Nevis
Saint Lucia
Saint Martin
Saint-Pierre und Miquelon
Saint Vincent und die Grenadinen
Samoa
San Marino
São Tomé und Príncipe
Saudi-Arabien
Senegal
Serbien
Seychellen
Sierra Leone
Singapur
Sint Maarten (niederl. Teil)
Salomonen
Somalia
Republik Südafrika
Südgeorgien und die Südlichen Sandwichinseln
Südkorea
Südsudan
Sri Lanka
Sudan
Suriname
Svalbard und Jan Mayen
Swasiland
Syrien
Taiwan
Tadschikistan
Tansania
Thailand
Timor-Leste
Togo
Tokelau
Tonga
Trinidad und Tobago
Tunesien
Turkmenistan
Turks- und Caicosinseln
Tuvalu
Uganda
Ukraine
Uruguay
Usbekistan
Vanuatu
Venezuela
Vietnam
Wallis und Futuna
Westsahara
Jemen
Sambia
Simbabwe
Schweiz
Schweiz
Liechtenstein
Deutschland
Österreich
Vereinigtes Königreich
Griechenland
Irland
Island
Italien
Japan
Kanada
Luxemburg
Namibia
Niederlande
Norwegen
Portugal
Schweden
Spanien
Vereinigte Staaten von Amerika
Arabische Emirate
Polen
Ungarn
Türkei
Tschechische Republik
Slowakei
Rumänien
Brasilien
Israel
Australien
Belgien
Dänemark
Finnland
Frankreich
Bulgarien
Estland
Kroatien
Lettland
Litauen
Malta
Slowenien
Zypern
Afghanistan
Åland
Albanien
Algerien
Amerikanisch-Samoa
Andorra
Angola
Anguilla
Antarktika
Antigua und Barbuda
Argentinien
Armenien
Aruba
Aserbaidschan
Bahamas
Bahrain
Bangladesch
Barbados
Weißrussland
Belize
Benin
Bermuda
Bhutan
Bolivien
Bonaire, Sint Eustatius und Saba
Bosnien und Herzegowina
Botswana
Bouvetinsel
Britisches Territorium im Indischen Ozean
Kleinere Inselbesitzungen der Vereinigten Staaten
Britische Jungferninseln
Amerikanische Jungferninseln
Brunei
Burkina Faso
Burundi
Kambodscha
Kamerun
Kap Verde
Kaimaninseln
Zentralafrikanische Republik
Tschad
Chile
China
Weihnachtsinsel
Kokosinseln
Kolumbien
Union der Komoren
Kongo
Kongo (Dem. Rep.)
Cookinseln
Costa Rica
Kuba
Curaçao
Dschibuti
Dominica
Dominikanische Republik
Ecuador
Ägypten
El Salvador
Äquatorial-Guinea
Eritrea
Äthiopien
Falklandinseln
Färöer-Inseln
Fidschi
Französisch Guyana
Französisch-Polynesien
Französische Süd- und Antarktisgebiete
Gabun
Gambia
Georgien
Ghana
Gibraltar
Grönland
Grenada
Guadeloupe
Guam
Guatemala
Guernsey
Guinea
Guinea-Bissau
Guyana
Haiti
Heard und die McDonaldinseln
Staat Vatikanstadt
Honduras
Hong Kong
Indien
Indonesien
Elfenbeinküste
Iran
Irak
Insel Man
Jamaika
Jersey
Jordanien
Kasachstan
Kenia
Kiribati
Kuwait
Kirgisistan
Laos
Libanon
Lesotho
Liberia
Libyen
Macao
Mazedonien
Madagaskar
Malawi
Malaysia
Malediven
Mali
Marshallinseln
Martinique
Mauretanien
Mauritius
Mayotte
Mexiko
Mikronesien
Moldawie
Monaco
Mongolei
Montenegro
Montserrat
Marokko
Mosambik
Myanmar
Nauru
Népal
Neukaledonien
Neuseeland
Nicaragua
Niger
Nigeria
Niue
Norfolkinsel
Nordkorea
Nördliche Marianen
Oman
Pakistan
Palau
Palästina
Panama
Papua-Neuguinea
Paraguay
Peru
Philippinen
Pitcairn
Puerto Rico
Katar
Republik Kosovo
Réunion
Russland
Ruanda
Saint-Barthélemy
Sankt Helena
St. Kitts und Nevis
Saint Lucia
Saint Martin
Saint-Pierre und Miquelon
Saint Vincent und die Grenadinen
Samoa
San Marino
São Tomé und Príncipe
Saudi-Arabien
Senegal
Serbien
Seychellen
Sierra Leone
Singapur
Sint Maarten (niederl. Teil)
Salomonen
Somalia
Republik Südafrika
Südgeorgien und die Südlichen Sandwichinseln
Südkorea
Südsudan
Sri Lanka
Sudan
Suriname
Svalbard und Jan Mayen
Swasiland
Syrien
Taiwan
Tadschikistan
Tansania
Thailand
Timor-Leste
Togo
Tokelau
Tonga
Trinidad und Tobago
Tunesien
Turkmenistan
Turks- und Caicosinseln
Tuvalu
Uganda
Ukraine
Uruguay
Usbekistan
Vanuatu
Venezuela
Vietnam
Wallis und Futuna
Westsahara
Jemen
Sambia
Simbabwe
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Haupt Buchhandlung
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Natur
Geschichte
Gestalten
Fachbuch
Aktuell
Service
TEMP Tests
Zur Kategorie Natur
Neuerscheinungen
Garten
Pflanzen & Pilze
Flora Helvetica
Tiere
Natur- und Wanderführer
Natur entdecken mit Kindern
Erde / Klima / Wasser
Astronomie
Umwelt / Ökologie
Spiele / Puzzles
Apps
Zur Kategorie Geschichte
Neuerscheinungen
Wissenschaftsgeschichte
Kulturgeschichte
Naturgeschichte
Zur Kategorie Gestalten
Neuerscheinungen
Gestalten mit Kindern
Druck / Papier
Schrift / Kunst / Zeichnen
Holz
Keramik / Glas
Metall / Stein
Schmuck
Färben
Mode / Textildesign
Textile Techniken
Wohnen / DIY
Zur Kategorie Fachbuch
Neuerscheinungen
Umwelt / Ökologie
Land- und Forstwirtschaft
NPO-Management
Management
Soziale Arbeit
Pädagogik
Haupt bei UTB
Zur Kategorie Aktuell
Termine
Magazin
In den Medien
Newsletter
Zur Kategorie Service
Über uns
Team
Für den Handel
Für Presse / Medien
Für Autor:innen
Rights
Haupt Buchhandlung
Kontakt
Zur Kategorie TEMP Tests
Test für Events
Test für APPs
Menü schließen
CHF
Schweizer Franken
CHF
CHF
€
EUR
Kategorien
Natur
Geschichte
Gestalten
Fachbuch
Aktuell
Service
TEMP Tests
168 Treffer für "Formal Verification"
Produkte
168
Events/Aktuelles
6
Suchergebnis |
Haupt
Verlag
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Preis
Minimal
–
Maximal
Verlag
Association for Computing Machinery (4)
BoD - Books on Demand (1)
Creative Media Partners, LLC (1)
Elsevier (1)
Information Science Reference (1)
ISTE Ltd and John Wiley & Sons Inc (1)
Karlsruher Institut für Technologie (1)
LAP Lambert Academic Publishing (5)
Now Publishers Inc (1)
Our Knowledge Publishing (1)
Princeton University Press (1)
Scholars' Press (1)
Springer (2)
Springer Berlin Heidelberg (11)
Springer Fachmedien Wiesbaden (2)
Springer International Publishing (41)
Springer London (1)
Springer Nature EN (58)
Springer Nature Switzerland (10)
Springer Us (16)
Südwestdeutscher Verlag für Hochschulschriften AG Co. KG (1)
Taylor and Francis (2)
tredition (3)
Verlag Unser Wissen (1)
Wiley (1)
Produktart
Gebunden (32)
Kartoniert / Broschiert (135)
Unbekannt (1)
Herausgeber
Abate, Alessandro Boldo, Sylvie (1)
Akleylek, Sedat Dundua, Besik (2)
Akshay, S. Niemetz, Aina Sankaranarayanan, Sriram (2)
Alur, Rajeev Peled, Doron A. (1)
Artho, Cyrille Legay, Axel Peled, Doron (1)
Ball, Thomas Jones, Robert B. (1)
Basin, David Rusinowitch, Michael (1)
Beckert, Bernhard Hähnle, Reiner Schmitt, Peter H. (1)
Ben Hedia, Belgacem Ghazel, Mohamed Monsuez, Bruno (1)
Benzmüller, Christoph Heule, Marijn J.H. Schmidt, Renate A. (1)
Berry, Gerard Comon, Hubert Finkel, Alain (1)
Bert, Didier Bowen, Jonathan P. King, Steve Waldén, Marina (1)
Biere, Armin Bloem, Roderick (1)
Bogomolov, Sergiy Martel, Matthieu Prabhakar, Pavithra (1)
Bouajjani, Ahmed Monniaux, David (1)
Boulanger, Jean-Louis (1)
Brim, Lubos Pol, Jaco van de Leucker, Martin Haverkort, Boudewijn (1)
Brinksma, Ed Larsen, Kim G. (1)
Buchberger, Bruno Campbell, John A. (1)
Budkowski, Stan Cavalli, Ana Najm, Elie (1)
Budkowski, Stan Najm, Elie Cavalli, Ana (1)
C. Nogueira, Sidney Teodorov, Ciprian (1)
Chaudhuri, Swarat Farzan, Azadeh (1)
Chechik, Marsha Raskin, Jean-François (1)
Cong-Vinh, Phan (1)
Damm, Werner Hermanns, Holger (1)
Dastani, Mehdi Hindriks, Koen V. Meyer, John-Jules (2)
Davies, Jim Schulte, Wolfram Barnett, Mike (1)
Dediu, Adrian-Horia Janoušek, Jan Martín-Vide, Carlos Truthe, Bianca (1)
Drechsler, Rolf (4)
Fontaine, Pascal (1)
Furbach, Ulrich Shankar, Natarajan (1)
Geist, Daniel Tronci, Enrico (1)
Giacobazzi, Roberto Gorla, Alessandra (1)
Gurfinkel, Arie Heule, Marjin (3)
Havelund, Klaus Núnez, Manuel Rosu, Grigore Wolff, Burkhart (1)
Hunt, Jr., Warren A. Somenzi, Fabio (1)
Hutter, Dieter Stephan, Werner (1)
Hähnle, Reiner Knoop, Jens Steffen, Bernhard Schreiner, Dietmar Margaria, Tiziana (1)
Isac, Omri Ivanov, Radoslav Nenzi, Laura Narodytska, Nina Katz, Guy (1)
Kouchnarenko, Olga Khosravi, Ramtin (1)
Kropf, Thomas (1)
Kurshan, Robert (2)
König, Hartmut Heiner, Monika Wolisz, Adam (1)
Kühne, Ulrich Drechsler, Rolf (1)
Lahiri, Shuvendu K. Wang, Chao (1)
Lamprecht, Anna-Lena (1)
Latella, Diego Bolognesi, Tommaso (2)
Lecomte, Thierry Pinger, Ralf Romanovsky, Alexander (1)
Lee, Edward A. Mousavi, Mohammad Reza Talcott, Carolyn (1)
Madeira, Alexandre Knapp, Alexander (1)
Majumdar, Rupak Kuncak, Viktor (1)
Majumder, Mukta Zaman, J. K. M. Sadique Uz Ghosh, Mili Chakraborty, Samarjit (1)
Majumder, Mukta Zaman, J.K.M Sadique Uz Ghosh, Mili Chakraborty, Samarjit (1)
Margaria, Tiziana Steffen, Bernhard (1)
Menéndez, Héctor D. Bello-Orgaz, Gema Barnard, Pepita Bautista, John Robert Farahi, Arya Dash, Santanu Han, DongGyun Fortz, Sophie Rodriguez-Fernandez, Victor (1)
Meyer, Bertrand Nordio, Martin (1)
Nieuwenhuis, Robert (1)
Petrucci, Laure Cavalcanti, Ana Seceleanu, Cristina (1)
Redfield, Signe Sofge, Donald Seto, Mae Sustersic, John (1)
Schmidt, Renate (1)
Shankaranarayanan, Krishna Sankaranarayanan, Sriram Trivedi, Ashutosh (2)
Skavhaug, Amund Guiochet, Jérémie Schoitsch, Erwin Bitsch, Friedemann (1)
Steffen, Bernhard Margaria, Tiziana (24)
Strichman, Ofer Tzoref-Brill, Rachel (1)
Ter Beek, Maurice H. Knapp, Alexander Gnesi, Stefania (1)
Toni, Francesca Torroni, Paolo (1)
van der Meyden, Ron van der Torre, Leendert (1)
Van Horn, David Hughes, John (1)
Ábrahám, Erika Huisman, Marieke (1)
Autor
Apt, Krzysztof R. de Boer, Frank S. Olderog, Ernst-Rüdiger (2)
Barrière, Aurèle (2)
Belta, Calin Yordanov, Boyan Aydin Gol, Ebru (2)
Berard, B. Bidoit, M. Finkel, A. Laroussinie, F. Petit, A. Petrucci, L. Schnoebelen, P. (1)
Bernard (1)
Boulanger, JL (1)
Bultan, Tevfik Yu, Fang Alkhalaf, Muath Aydin, Abdulbaki (2)
Camara, Daniel Alfredo Ferreira Loureiro, Antonio (1)
Chuat, Laurent Legner, Markus Basin, David Perrig, Adrian Hitz, Samuel Müller, Peter Hausheer, David (2)
Dasgupta, Pallab (2)
Drechsler, Rolf (2)
Fan, Chuchu (2)
Ganai, Malay Gupta, Aarti (1)
Garoche, Pierre-Loic (1)
Giustolisi, Rosario (2)
Gopalakrishnan, Ganesh (1)
Gupta, Aarti Ganai, Malay (1)
Göthel, Thomas (1)
Hassine, Jameleddine (1)
He, Nannan (1)
Huhn, Sebastian Drechsler, Rolf (1)
Jones, Robert B. (2)
Klemmer, Lucas Große, Daniel (1)
Kropf, Thomas (2)
Leen, Gabriel (1)
Mahzoon, Alireza Drechsler, Rolf Große, Daniel (2)
Mahzoon, Alireza Dreschler, Rolf (1)
Matt (1)
N., Danapaquiame (1)
Naseem, Syed Atif Uddin, Riaz Naseem, Syed Wasif (1)
Omri, Fouad ben Nasr (1)
Ray, Sandip (2)
Russinoff, David M. (3)
Schneider, Klaus (2)
Schnieber, Martha (1)
Seligman Erik Schubert Tom M V Achutha Kiran Kumar (1)
Shalini (1)
Tabuada, Paulo (1)
Thomson, Steven A. (1)
Thornton, Mitchel Li, Lun (1)
Togashi, Atsushi Higashino, Teruo Shiratori, Norio Mizuno, Tadanori (2)
Traub, Johannes Frederik Jesper (1)
Usman, Muhammad Muthukkumarasamy, Vallipuram Wu, Xin-Wen Khanum, Surraya (1)
Zalila, Bechir (2)
Zhan, Naijun Wang, Shuling Zhao, Hengjun (1)
Zhan, Naijun Zhao, Hengjun Wang, Shuling (1)
Veröffentlicht
1992 (1)
1997 (1)
1998 (1)
1999 (1)
2000 (1)
2001 (1)
2002 (1)
2003 (1)
2004 (1)
2005 (1)
2006 (1)
2007 (1)
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2012 (1)
2013 (1)
2014 (1)
2015 (1)
2016 (1)
2017 (1)
2018 (2)
2019 (2)
2020 (2)
2022 (4)
2024 (2)
2025 (2)
Sprache
Deutsch (2)
Englisch (166)
Formal Verification
147,00 CHF*
In den Warenkorb
Advanced Formal Verification
135,00 CHF*
In den Warenkorb
Formal Hardware Verification
70,00 CHF*
In den Warenkorb
Advanced Formal Verification
135,00 CHF*
In den Warenkorb
Formal System Verification
158,00 CHF*
In den Warenkorb
Formal System Verification
159,00 CHF*
In den Warenkorb
Formal Verification of Circuits
189,00 CHF*
In den Warenkorb
Formal Verification of Circuits
189,00 CHF*
In den Warenkorb
Industrial Used of Formal Method – Formal Verification
217,00 CHF*
In den Warenkorb
Scalable Techniques for Formal Verification
148,00 CHF*
In den Warenkorb
Scalable Techniques for Formal Verification
150,00 CHF*
In den Warenkorb
Introduction to Formal Hardware Verification
70,00 CHF*
In den Warenkorb
Introduction to Formal Hardware Verification
70,00 CHF*
In den Warenkorb
Leveraging Applications of Formal Methods, Verification and Validation. Verification
70,00 CHF*
In den Warenkorb
Development and Formal Verification of TTCAN
103,00 CHF*
In den Warenkorb
Formal Verification of Concurrent Embedded Software
23,50 CHF*
In den Warenkorb
A Roadmap for Formal Property Verification
170,00 CHF*
In den Warenkorb
Formal Verification of Simulink/Stateflow Diagrams
153,00 CHF*
In den Warenkorb
Formal Verification of Structurally Complex Multipliers
124,00 CHF*
In den Warenkorb
SAT-Based Scalable Formal Verification Solutions
204,00 CHF*
In den Warenkorb
Formal Verification of Simulink/Stateflow Diagrams
154,00 CHF*
In den Warenkorb
Formal Verification of Structurally Complex Multipliers
124,00 CHF*
In den Warenkorb
Polynomial Formal Verification of Arithmetic Circuits
84,00 CHF*
In den Warenkorb
Formal Verification of Control System Software
90,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
