Verisoftxt.de
Verisoftxt est classé > 3 000 000 en France. 'Verisoft XT - The Verisoft XT Project.'
--Classement en France
--Classement Mondial
| Pages visionnées mensuellement | < 300 | |
| Total de Visitas Mensais | < 300 | |
| Valeur par visiteur | -- | |
| Valeur estimée | 377,35 € | |
| Liens externes | 13 | |
| Nombre de pages | 90 |
Dernière mise à jour: 20-04-2018 . Données estimées, lire la décharge.
Contenu
www.Verisoftxt.de
Sujets: Consortium, Publications, et Verisoft.
- Pages populaires
- verisoftxt.de Verisoft XT - Contact
- verisoftxt.de Verisoft XT - Verisoft XT Consortium
- verisoftxt.de Verisoft XT - Publications
- verisoftxt.de Verisoft XT - Seitenüberblick
- Lies vers
- lri.fr bibtex2html: BibTeX to HTML converter
- verisoft.de The Verisoft Project
- research.microsoft.com Micha lJan Moskal PhD Thesis
- research.microsoft.com A Practical Verification Methodology for Concurrent Programs
| Localisation du serveur | |
| Universitaet Des Saarlandes Saarbruecken Saarland Saarbruecken Allemagne 49.23, 7 | |
Il est hébergé par Universitaet Des Saarlandes Saarbruecken (Saarland, Saarbruecken,) utilisant le serveur web Apache/2. L'adresse IP de Verisoftxt.de est 134.96.247.22. Ses 2 serveurs DNS sont ns2.kundencontroller.de, et ns1.kundencontroller.de.
IP: 134.96.247.22
Serveur Web: Apache/2
Encodage: iso-8859-1
| PING schematix.cs.uni-saarland.de (134.96.247.22) 56(84) bytes of data. | |
| 64 bytes from schematix.cs.uni-saarland.de (134.96.247.22): icmp_req=1 ttl=47 | 122 ms |
| 64 bytes from schematix.cs.uni-saarland.de (134.96.247.22): icmp_req=2 ttl=47 | 126 ms |
| 64 bytes from schematix.cs.uni-saarland.de (134.96.247.22): icmp_req=3 ttl=47 | 122 ms |
| --- schematix.cs.uni-saarland.de ping statistics --- | |
| 3 packets transmitted, 3 received, 0% packet loss, time 2002ms | |
| rtt min/avg/max/mdev = 122.340/123.736/126.349/1.871 ms | |
| rtt min/avg/max/mdev = 122.340/123.736/126.349/1.871 ms |
Un ping pour tester la vitesse de réponse est chronométré à 122 ms.
| Organisation du Serveur | |
| Date: | -- |
|---|---|
| Server: | Apache/2.2.16 (Debian) |
| Last-Modified: | -- |
| ETag: | "13f63e-10c5-4a6342e9e9315" |
| Accept-Ranges: | bytes |
| Content-Length: | 4293 |
| Vary: | Accept-Encoding |
| Content-Type: | text/html |