Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > de.sci.electronics > #218390
| From | Hans-Peter Diettrich <DrDiettrich1@aol.com> |
|---|---|
| Newsgroups | de.sci.electronics |
| Subject | Re: Suche Erfahrungen mit Fritz! Smarthome |
| Date | 2016-12-13 10:08 +0100 |
| Message-ID | <eb9sirFlnn1U8@mid.individual.net> (permalink) |
| References | (6 earlier) <o2mge2$ks$1@dont-email.me> <o2mhnq$hba$1@news.albasani.net> <584EDDBF.73FF341D@B.Maus.De> <o2mo2v$2uu$1@news.albasani.net> <4b2dd3c3-9041-4b8d-a37d-9510129144f6@googlegroups.com> |
Stefan Engler schrieb: > Es gibt spezielle Programmiersprachen, die erlauben zu beweisen, dass ein > Programm fehlerfrei funktioniert und funtionieren wird. Welche wären das? Wie soll eine Programmiersprache verhindern, daß jemand in einem Ausdruck + und - verwechselt? Da kann man allenfalls feststellen, daß das Programm etwas anderes macht als es soll, es gibt aber kein automatisierbares Verfahren, die Ursache des Fehlverhaltens festzustellen. DoDi
Back to de.sci.electronics | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-11 19:41 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Hartmut Kraus <hartmut.melina@web.de> - 2016-12-11 22:46 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Gerald Oppen <Gerald.Oppen@web.de> - 2016-12-11 23:47 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 09:06 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Christian Lotze <chrissi099@hotmail.com> - 2016-12-12 12:19 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 13:26 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 14:44 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 16:42 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 17:03 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 18:07 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Peter Thoms <dl6lat@darc.de> - 2016-12-12 18:24 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 18:55 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Peter Thoms <dl6lat@darc.de> - 2016-12-13 11:22 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-14 13:20 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Peter Thoms <dl6lat@darc.de> - 2016-12-16 20:42 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 19:15 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Axel Berger <Axel_Berger@B.Maus.De> - 2016-12-12 20:27 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 21:19 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Matthias Weingart <mwnews@pentax.boerde.de> - 2016-12-13 08:11 +0000
Re: Suche Erfahrungen mit Fritz! Smarthome Volker Bartheld <news2016@bartheld.net> - 2016-12-13 09:18 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Matthias Weingart <mwnews@pentax.boerde.de> - 2016-12-13 09:14 +0000
Re: Suche Erfahrungen mit Fritz! Smarthome OT Gerald Oppen <Gerald.Oppen@web.de> - 2016-12-13 20:41 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Rolf Bombach <rolfnospambombach@invalid.invalid> - 2016-12-18 23:23 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Matthias Weingart <mwnews@pentax.boerde.de> - 2016-12-19 11:06 +0000
Re: Suche Erfahrungen mit Fritz! Smarthome Axel Berger <Axel_Berger@B.Maus.De> - 2016-12-12 18:26 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 18:51 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 18:56 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Werner Holtfreter <Holtfreter@gmx.de> - 2016-12-12 19:42 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Axel Berger <Axel_Berger@B.Maus.De> - 2016-12-12 20:29 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-13 09:59 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Arno Welzel <usenet@arnowelzel.de> - 2016-12-16 20:43 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-18 14:33 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Arno Welzel <usenet@arnowelzel.de> - 2016-12-21 10:06 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-21 14:15 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Stefan Engler <Lehrerfreund@web.de> - 2016-12-12 14:16 -0800
Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-13 10:08 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Matthias Weingart <mwnews@pentax.boerde.de> - 2016-12-13 09:38 +0000
Re: Suche Erfahrungen mit Fritz! Smarthome Hans-Peter Diettrich <DrDiettrich1@aol.com> - 2016-12-14 14:21 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Gerald Oppen <Gerald.Oppen@web.de> - 2016-12-13 20:50 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Stefan Engler <Lehrerfreund@web.de> - 2016-12-13 13:49 -0800
Re: Suche Erfahrungen mit Fritz! Smarthome Gerald Oppen <Gerald.Oppen@web.de> - 2016-12-13 20:34 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Arno Welzel <usenet@arnowelzel.de> - 2016-12-16 20:36 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Christian Lotze <chrissi099@hotmail.com> - 2016-12-13 07:42 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Bernd Ohm <resistor5k6@online.de> - 2016-12-12 18:55 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Jürgen Kanuff <jkanuff@gmx.de> - 2016-12-12 20:51 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Bernd Ohm <resistor5k6@online.de> - 2016-12-12 23:12 +0100
Re: Suche Erfahrungen mit Fritz! Smarthome Arno Welzel <usenet@arnowelzel.de> - 2016-12-16 20:33 +0100
csiph-web