Formal-methods.de
Formal-methods is ranked > 3,000,000 in the United States. 'STUPS Group - Softwaretechnik und Programmiersprachen.'
--Rank in United States
--Worldwide Rank
Monthly pages viewed | < 300 | |
Monthly visits | < 300 | |
Value per visitor | -- | |
Estimated worth | $575.23 | |
External links | 48 | |
Number of pages | 15 |
Last Updated: 04/15/2018 . Estimated data, read disclaimer.
Content
www.Formal-methods.de
Topics: Team, Teaching, Research, Masterstudium, and Formal Mind.
ServerServer Location | |
Heinrich-heine-universitaet Duesseldorf Nordrhein-westfalen Duesseldorf Germany 51.22, 6.77 |
The programming language environment is PHP/5.3.2-1ubuntu4.11. selene.rz.uni-duesseldorf.de, sirene.rz.uni-duesseldorf.de, and ns1.arcor-ip.de are some of its 5 Nameservers. It is hosted by Heinrich-heine-universitaet Duesseldorf (Nordrhein-westfalen, Duesseldorf,) using Apache/2 web server.
IP: 134.99.112.70
Powered by: PHP/5.3.2-1ubuntu4.11
Web Server: Apache/2
Encoding: utf-8
PING www. (134.99.112.70) 56(84) bytes of data. | |
64 bytes from cobra.cs.uni-duesseldorf.de (134.99.112.70): icmp_seq=1 ttl=53 | 175 ms |
64 bytes from cobra.cs.uni-duesseldorf.de (134.99.112.70): icmp_seq=2 ttl=53 | 175 ms |
64 bytes from cobra.cs.uni-duesseldorf.de (134.99.112.70): icmp_seq=3 ttl=53 | 175 ms |
--- www. ping statistics --- | |
3 packets transmitted, 3 received, 0% packet loss, time 2001ms | |
rtt min/avg/max/mdev = 175.595/175.667/175.779/0.351 ms | |
rtt min/avg/max/mdev = 175.595/175.667/175.779/0.351 ms |
A ping speed test response, is timed at 175 ms.
Server Setup | |
Date: | -- |
---|---|
Server: | Apache/2.2.14 (Ubuntu) |
X-Powered-By: | PHP/5.3.2-1ubuntu4.11 |
Content-language: | en |
Vary: | Accept-Encoding,Cookie |
Expires: | -- |
Cache-Control: | no-cache, no-store, max-age=0, must-revalidate |
Pragma: | no-cache |
Transfer-Encoding: | chunked |
Content-Type: | text/html; charset=UTF-8 |